Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Subtitle: 8th International Symposium, ISoLA 2018, Limassol, ...
Publisher: Springer
Published: Oct 31, 2018
Format: paperback
Number of pages: 536
ISBN-13: 9783030034238
Notes: Source title: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... (Lecture Notes in Computer Science (11246))