Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

QR Code

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.

Bibliographic Details
Main Author:	Gurfinkel, Arie (-)
Other Authors:	Ganesh, Vijay
Format:	eBook
Language:	Inglés
Published:	Cham : Springer Nature Switzerland 2024.
Edition:	1st ed. 2024.
Series:	Lecture Notes in Computer Science, 14682
Subjects:	Software engineering. Artificial intelligence. Algorithms. Software Engineering. Artificial Intelligence. Design and Analysis of Algorithms.
See on Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009845838006719

Description
Summary:	This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.
Physical Description:	1 online resource (447 pages)
ISBN:	9783031656309