
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022 Rhodes, Greece, October 22–30, 2022 Proceedings, Part I (PDF/EPUB Version)
$19.99
Description
Author: Tiziana Margaria, Bernhard Steffen
Series: Lecture Notes in Computer Science, 13701
Publisher: Springer
Year: 2022
Edition:
Language: English
ISSN: