Title

Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018. Pt.4: Industrial practice

Title Supplement

Limassol, Cyprus, November 5-9, 2018; Proceedings

Person Involved

Publisher

Publishing Place

Cham

Publication Date

2018

Series

Lecture Notes in Computer Science; 11247

ISBN

978-3-030-03426-9

978-3-030-03427-6

3-030-03426-7

Conference