Mikolas Janota

Unit Automated Reasoning and Software Reliability (ARSR) Role External Collaborator Degree Doutoramento ResearcherID A-7701-2012 ORCID https://orcid.org/0000-0003-3487-784X Phone 2341 (Portugal +351) Extension 2341 Room 328B Email mikolas.janota(at)inesc-id.pt Personal Page http://sat.inesc-id.pt/~mikolas/