
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science) (PDF/EPUB Version)
$19.99
Description
Author: Marsha Chechik (editor), Joost-Pieter Katoen (editor), Martin Leucker (editor)
Series:
Publisher: Springer
Year: 2023
Edition:
Language: English
ISSN: