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

Margaria-Steffen, T.2022-03-022022-03-022018978-3-030-03426-9978-3-030-03427-63-030-03426-7https://publica.fraunhofer.de/handle/publica/163560Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018. Pt.4: Industrial practice