VMW is affiliated with CAV 2020. This year the workshop is virtual and registration is free! This is a great place to connect to students and mentors. Check this out in the VMW webpage!
A sharing platform for the Computer-Aided Verification community
VMW is affiliated with CAV 2020. This year the workshop is virtual and registration is free! This is a great place to connect to students and mentors. Check this out in the VMW webpage!