Međunarodna konferencija CAV 2025 na FER-u
Zagreb će ove godine ugostiti prestižnu međunarodnu konferenciju Computer Aided Verification - CAV 2025, jedno od najvažnijih okupljanja stručnjaka u području formalnih metoda za verifikaciju računalnih sustava. FER je službeni pokrovitelj konferencije i na njemu će se 21. i 22. srpnja održati cjelodnevne radionice, koje prethode glavnom dijelu konferencije.
- Više o Međunarodna konferencija CAV 2025 na FER-u ...
- Prijavite se ili registrirajte za slanje komentara