Reading: Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, ... Notes in Computer Science Book 11244) full version

You are about to access our book library "Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, ... Notes in Computer Science Book 11244) full version" .