• Computer Aided Verification ;...

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

Title:
Computer Aided Verification ; 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Contributors:
Piskac, Ruzica, Rakamarić, Zvonimir
Source:
Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783031986840 9783031986857
Publisher Information:
Springer Nature Switzerland
Publication Year:
2025
Document Type:
Buch book
Language:
English
ISBN:
978-3-031-98684-0
978-3-031-98685-7
3-031-98684-9
3-031-98685-7
DOI:
10.1007/978-3-031-98685-7
DOI:
10.1007/978-3-031-98685-7.pdf
Availability:
https://doi.org/10.1007/978-3-031-98685-7
https://link.springer.com/content/pdf/10.1007/978-3-031-98685-7.pdf
https://link.springer.com/content/pdf/10.1007/978-3-031-98685-7
Rights:
https://creativecommons.org/licenses/by/4.0 ; https://creativecommons.org/licenses/by/4.0
Accession Number:
edsbas.3DFF727C
Database:
BASE