Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers presented together 24 tool papers, 4 casestudy papers in these proceedings were carefully revie...

Celý popis

Podrobná bibliografia

Médium:	E-kniha
Jazyk:	English
Vydavateľské údaje:	Cham Springer Nature 2025
Edícia:	Lecture Notes in Computer Science
Predmet:	Applications Artificial intelligence Computer programming / software engineering Computer science Computing and Information Technology Informatics Mathematical theory of computation Software Engineering
ISBN:	3031986784, 9783031986789, 3031986792, 9783031986796
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!