ETAPS 2019 (series) / Konstantinos (Kostis) Sagonas
Registered user since Sun 11 Nov 2018
Name: Konstantinos (Kostis) Sagonas
Country: Sweden
Affiliation: Uppsala University
Research interests: Software Technology, Programming Languages, Testing and Verification, Security
Contributions
| HCVS 2019 | Invited Speaker in Invited Speakers within the HCVS-track Invited Talk: Concolic testing of higher-order functional languages | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile