Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
Yakir Vizel

Registered user since Sat 18 Apr 2020

Name:Yakir Vizel
Affiliation:Technion—Israel Institute of Technology
Research interests:Formal Verification, Model Checking


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