Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021

Registered user since Mon 19 Apr 2021

Name: Tomas Kulik

Country: Denmark

Affiliation: Aarhus University

Contributions

FormaliSE 2021 Formally Verified Credentials Management for Industrial Control Systems
Show activities from other conferences

ICSE 2021-profile
View general profile