Bokor, P., Serafini, M.,
Suri, N. & Veith, H.,
2009,
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Springer,
Vol. 5885 LNCS.
p. 147-166 20 p.Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter