Formal Methods : Foundations and Applications
Subtitle: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 179
ISBN-13: 9783319150758
Subjects: Computer software, development; Software engineering