FM 2012: Formal methods. 18th international symposium, Paris, France, August 27--31, 2012. Proceedings
scientific article; zbMATH DE number 6070675