Leveraging Applications of Formal Methods, Verification and Validation. Verification
Subtitle: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Publisher: Springer International Publishing AG
Published: 2018
Language: eng
ISBN-13: 9783030034207
Subjects: Computer software, validation; Computer software, verification