Computer Aided Verification
Subtitle: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031656262