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

Conference