Registered user since Sat 18 Apr 2020
Name: Yakir Vizel
Country: Israel
Affiliation: Technion—Israel Institute of Technology
Personal website: http://www.cs.technion.ac.il/~yvizel/index.html
Research interests: Formal Verification, Model Checking
Contributions
| VMCAI 2021 | Conference Co-Chair in Organizing Committee within the VMCAI-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile