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
Affiliation:Uppsala University
Research interests:Software Technology, Programming Languages, Testing and Verification, Security


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