Formal Methods: Foundations and Applications [E-Book]: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / edited by Rohit Gheyi, David Naumann.
Gheyi, Rohit.
Naumann, David.
Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
digital.
englisch
9783642332968
10.1007/978-3-642-33296-8
Lecture notes in computer science ; 7498
Full Text
Description not available.