
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings (PDF/EPUB Version)
$19.99
Description
Author: Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque
Series: Lecture Notes in Computer Science, 14010
Publisher: Springer
Year: 2023
Edition:
Language: English
ISSN: