Verification, Model Checking, and Abstract Interpretation
Subtitle: 25th International Conference, VMCAI 2024, London, on, Canada, January 15-16, 2024, Proceedings, Part I
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031505232