FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings Giannakopoulou Dimitra Heftet / 2012 / Engelsk
