Jan Strejcek - SAS 2022

Mon 5 - Wed 7 December 2022 Auckland, New Zealand

co-located with SPLASH 2022

Registered user since Thu 1 Aug 2019

Name:Jan Strejcek

Country:Czechia

Affiliation:Masaryk University

Personal website: https://www.fi.muni.cz/~xstrejc/

Contributions

2022

Static Analysis Symposium

Case Study on Verification-Witness Validators: Where We Are and Where We Go

Show activities from other conferences

SPLASH 2022-profile
View general profile