Formal Methods : Foundations and Applications
Subtitle: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
Publisher: Springer London, Limited
Published: 2013
Language: eng
ISBN-13: 9783642410710