Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Konstantinos Kallas

Registered user since Sat 8 Feb 2020

Name:Konstantinos Kallas
Country:United States
Affiliation:University of Pennsylvania
Research interests:Programming Languages, Distributed Systems, Formal Methods


ICSE 2020 Code Level Model-Checking in the Software Development Workflow
Show activities from other conferences

ICSE 2020-profile
View general profile