Options
Title
Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018. Pt.2: Verification
Title Supplement
Limassol, Cyprus, November 5-9, 2018; Proceedings
Person Involved
Publisher
Publishing Place
Cham
Publication Date
2018
Series
Lecture Notes in Computer Science; 11245
ISBN
978-3-030-03420-7
978-3-030-03421-4
3-030-03420-8