ETAPS 2019 (series) / Nikos Tzevelekos

Registered user since Tue 7 Aug 2018
Name: Nikos Tzevelekos
Affiliation: Queen Mary University of London
Personal website: http://www.tzevelekos.org
Research interests: Programming Language Semantics, Verification, Automata
Contributions
ETAPS 2019-profile
View general profile
View general profile