Registered user since Fri 16 Dec 2016

Name:Michał Szynwelski
Affiliation:University of Warsaw

Contributions

POPL 2017 Author of Learning nominal automata within the POPL-track