
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science, 13487) (PDF/EPUB Version)
$19.99
Description
Author: Jan Friso Groote (editor), Marieke Huisman (editor)
Series:
Publisher: Springer
Year: 2022
Edition: 1st ed. 2022
Language: English
ISSN: