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