ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Margus Veanes

Registered user since Wed 4 Jan 2017

Name: Margus Veanes

Affiliation: Microsoft Research

Contributions

TACAS 2019Author of Symbolic Regex Matcher within the TACAS 2019-track
Show activities from other conferences

Using general profile