Write a Blog >>
EnCyCriS 2021
Thu 3 Jun 2021
co-located with
ICSE 2021
Toggle navigation
Attending
Venue: Clowdr
Clowdr: Main Conference
Clowdr: Co-located Events
Clowdr: Workshops
Program
EnCyCriS Program
Your Program
Thu 3 Jun
Track/Call
Organization
EnCyCriS 2021 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
EnCyCriS 2025
EnCyCriS/SVM 2024
EnCyCriS 2023
EnCyCriS 2022
EnCyCriS 2021
Sign in
Sign up
ICSE 2021
(
series
) /
EnCyCriS 2021 (
series
) /
Moshe Vardi
ICSE 2021 profile
conf.research.org general profile
ECBS 2023 profile
ECOOP and ISSTA 2021 profile
POPL 2020 profile
POPL 2024 profile
Registered user since Sun 24 Jul 2016
Name:
Moshe Vardi
Contributions
2021
FormaliSE
Program Verification: a 70-Year History
Show activities from other conferences
Share
ICSE 2021-profile
View general profile
x
Fri 27 Dec 18:53