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á bibliografie

Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Cham Springer Nature 2025
Edice:	Lecture Notes in Computer Science
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!