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

Weitere Versionen (3)
Gespeichert in:
Hauptverfasser:
Rakamarić, Zvonimir (HerausgeberIn), Piskac, Ruzica (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer Nature 2025
Umfang:
1 Online-Ressource (1 electronic resource (422 pages))
Anmerkungen:
English
ISBN:
9783031986840
Zugangseinschränkungen:
Open Access
Schlagworte:
Artificial intelligence
Mathematical theory of computation
Software Engineering
Links: