
Registered user since Sun 20 Oct 2019
Name: Srđan Krstić
Country: Switzerland
Affiliation: ETH Zürich
Personal website: https://krledmno1.github.io/
Research interests: software engineering, runtime verification, security engineering
Contributions
FormaliSE 2020 | Social Media Chair in Organizing Committee within the FormaliSE 2020-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2020-profile
View general profile
View general profile