Formal Methods : Foundations and Applications
Subtitle: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Publisher: Springer
Published: Oct 24, 2018
Format: paperback
Number of pages: 281
ISBN-13: 9783030030438
Notes: Source title: Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Lecture Notes in Computer Science (11254))