ISBN 9783642250316 books & textbook
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Lecture Notes in Computer Science, 7021)
Simao, Adenilso Morgan, Carroll
Springer /2011-10-28 Paperback / 215 Pages
isbn-10: 3642250319 / isbn-13: 9783642250316
