SPLASH 2022 (series) / Jan Strejcek
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
| SAS 2022 | Case Study on Verification-Witness Validators: Where We Are and Where We Go | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2022-profile
View general profile
View general profile