Write a Blog >>
SPIN 2021
Wed 14 - Thu 15 July 2021 Aarhus, Denmark
co-located with ECOOP and ISSTA 2021
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 2021Technion—Israel Institute of Technology in Programming Committee within the SPIN-track
Show activities from other conferences

Using general profile