Proc. 10th International Conference on Integrated Formal Methods (IFM 2013)

Type
Publication
LNCS 7940. © Springer 2013.