Englische Ausgabe von Ruzica Piskac und Zvonimir Rakamarić· Taschenbuch· Englische Ausgabe
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science, Band 15934)