ECOOP and ISSTA 2021 (series) / Yakir Vizel
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
| SPIN 2021 | Technion—Israel Institute of Technology in Programming Committee within the SPIN-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA 2021-profile
View general profile
View general profile