user avatar
CAV
@confCAV
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25
Zagreb, Croatia
conferences.i-cav.org/2025/
Joined August 2018
0
Following
790
Followers
Posts
@confCAV hasn’t posted
When they do, their posts will show up here.