You are about to access our book library "Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA ... Notes in Computer Science Book 15219) full version"
.