Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018. Pt.2: Verification

Margaria-Steffen, T.2022-03-022022-03-022018978-3-030-03420-7978-3-030-03421-43-030-03420-8https://publica.fraunhofer.de/handle/publica/163880Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018. Pt.2: Verification