Jan Strejcek - SPLASH 2022

Mon 5 - Sat 10 December 2022 Auckland, New Zealand

Registered user since Thu 1 Aug 2019

Name:Jan Strejcek

Country:Czech Republic

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