
Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings (PDF/EPUB Version)
$19.99
Description
Author: Paula Herber (editor), Anton Wijs (editor)
Series: Lecture Notes in Computer Science; 14300
Publisher: Springer
Year: 2023
Edition:
Language: English
ISSN: