ETAPS 2019 (series) / Mikoláš Janota
![Mikoláš Janota](https://conf.researchr.org/getProfileImage/mikolasjanota/ee2f0389-68fe-4782-a980-31d7f4315c13/small.jpg?1711521077000)
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