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