
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings (Lecture Notes in Computer Science) (PDF/EPUB Version)
$19.99
Description
Author: Maurice H. ter Beek (editor), Rosemary Monahan (editor)
Series:
Publisher: Springer
Year: 2022
Edition:
Language: English
ISSN: