ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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 2019Invited speaker in Invited Speakers within the HCVS-track
Author of Invited Talk: Concolic testing of higher-order functional languages within the HCVS-track
Show activities from other conferences

ETAPS 2019-profile
View general profile