Leveraging applications of formal methods, verification and validation. Specialized techniques and applications. 6th international symposium, ISoLA 2014. Vol.2

Margaria-Steffen, T.2022-03-022022-03-022014978-3-662-45230-1978-3-662-45231-83-662-45230-8https://publica.fraunhofer.de/handle/publica/157252Leveraging applications of formal methods, verification and validation. Specialized techniques and applications. 6th international symposium, ISoLA 2014. Vol.2