PISKAC, Ruzica und RAKAMARIĆ, Zvonimir, 2025. Computer Aided Verification ; 37 th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV. Springer Nature Switzerland. ISBN 978-3-031-98684-0978-3-031-98685-73-031-98684-9&3-031-98685-7.
Elsevier - Harvard (with titles)Piskac, R., Rakamarić, Z., 2025. Computer Aided Verification ; 37 th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-98685-7
American Psychological Association 7th editionPiskac, R., & Rakamarić, Z. (2025). Computer Aided Verification ; 37 th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-98685-7
Springer - Basic (author-date)Piskac R, Rakamarić Z (2025) Computer Aided Verification ; 37 th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV. Springer Nature Switzerland
Juristische Zitierweise (Stüber) (Deutsch)Piskac, Ruzica/ Rakamarić, Zvonimir, Computer Aided Verification ; 37 th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV, 2025.