ETAPS 2019 (series) / Mikoláš Janota
Registered user since Tue 30 Oct 2018
Name:Mikoláš Janota
Country:Portugal
Affiliation:INESC-ID, IST, ULisboa
Personal website: http://sat.inesc-id.pt/~mikolas
Research interests:Constraint Solving, SMT
Contributions
ETAPS 2019-profile
View general profile
View general profile