Enjoy FLoC 2022 in Haifa!
Check out the two mentoring workshops at FLoC’22 and talk to the sponsors at their booths on site! Read More …
A sharing platform for the Computer-Aided Verification community
A sharing platform for the Computer-Aided Verification community
Check out the two mentoring workshops at FLoC’22 and talk to the sponsors at their booths on site! Read More …