Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Subtitle: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... I
Publisher: Springer
Published: Oct 29, 2018
Format: paperback
Number of pages: 603
ISBN-13: 9783030034177
Notes: Source title: Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... I (Lecture Notes in Computer Science (11244))