Activating this element will cause content on the page to be updated.
EPUB, PDF DOWNLOAD: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, ... Notes in Computer Scienc
Tiziana Margaria, Bernhard Steffen