Formal Methods : Foundations and Applications
Subtitle: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Publisher: Springer
Published: Feb 03, 2016
Format: paperback
Number of pages: 213
ISBN-13: 9783319294728
Notes: Source title: Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Lecture Notes in Computer Science (9526))