FM 2012: Formal Methods [E-Book]: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / edited by Dimitra Giannakopoulou, Dominique Méry.
Giannakopoulou, Dimitra.
Méry, Dominique.
Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
digital.
englisch
9783642327599
10.1007/978-3-642-32759-9
Lecture notes in computer science ; 7436
Full Text
Description not available.