ETAPS 2019 (series) / Nikos Tzevelekos
![Nikos Tzevelekos](https://conf.researchr.org/getProfileImage/nikostzevelekos/619c2ee8-b296-4a77-8f42-a183582483f3/small.jpg?1711520397000)
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