Konstantinos (Kostis) Sagonas - ISSTA 2017

Write a Blog >>

Mon 10 - Fri 14 July 2017 Santa Barbara, California, United States

Registered user since Sun 11 Nov 2018

Name:Konstantinos (Kostis) Sagonas

Contributions

2017

ISSTA

Targeted Property-Based Testing

SPIN

Session Chair of Session 9: Model Checking (part of SPIN Full Paper)

Show activities from other conferences

ISSTA 2017-profile
View general profile