Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Subtitle: 8th International Symposium, ISoLA 2018, Limassol, ...
Publisher: Springer
Published: Oct 30, 2018
Format: paperback
Number of pages: 544
ISBN-13: 9783030034269
Notes: Source title: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... (Lecture Notes in Computer Science (11247))