
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings (PDF/EPUB Version)
$19.99
Description
Author: Lucas Lima, Vince Molnár
Series: Lecture Notes in Computer Science, 13768
Publisher: Springer
Year: 2022
Edition:
Language: English
ISSN: