ICFEM 2018
Jaco van de Pol
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
11 papers accepted at OOPSLA & POPL
Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica - PDF Free Download
Logic and Semantics
ICFEM 2018
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
CPV
Logic and Semantics
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Logic and Semantics
ICFEM 2018
ICFEM 2018
UPPAAL in Practice: Quantitative Verification of a RapidIO Network⋆
New colleagues - 2019
Download complete Report 2008 (Pdf format) - Faculty of Natural ...
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
New colleagues - 2019
ICFEM 2018
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
