Mikolas Janota

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleExternal Collaborator
DegreeDoutoramento
ResearcherIDA-7701-2012
ORCIDhttps://orcid.org/0000-0003-3487-784X

Phone2341 (Portugal +351)
Extension2341
Room328B
Emailmikolas.janota(at)inesc-id.pt
Personal Pagehttp://sat.inesc-id.pt/~mikolas/