ISSTA 2017 (series) / Konstantinos (Kostis) Sagonas

Registered user since Sun 11 Nov 2018
Name:Konstantinos (Kostis) Sagonas
Contributions
ISSTA 2017 | Targeted Property-Based Testing | ||||||||||||||||||||||||||||||||||||||||
SPIN 2017 | Session Chair of Session 9: Model Checking (part of SPIN Full Paper) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ISSTA 2017-profile
View general profile
View general profile