Formal Methods : Foundations and Applications
Subtitle: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Publisher: Springer
Published: Nov 12, 2017
Format: paperback
Number of pages: 315
ISBN-13: 9783319708478
Notes: Source title: Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings (Lecture Notes in Computer Science (10623))