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