Registered user since Sun 24 Jul 2016
Name:Moshe Vardi
Contributions
| FormaliSE 2021 | Program Verification: a 70-Year History | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2021-profile
View general profile
View general profile
Registered user since Sun 24 Jul 2016
Contributions
| FormaliSE 2021 | Program Verification: a 70-Year History | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||