Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
CS Colloquium - Jaco van de Pol: Automated Verification: can Brute Force be Smart?
Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica - PDF Free Download
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
Confluence reduction for probabilistic systems
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
New colleagues - 2019
Dr. Jaco van de Pol is appointed Group Leader of SEN2
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
ICFEM 2018
Logic and Semantics
ICFEM 2018
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Download complete Report 2008 (Pdf format) - Faculty of Natural ...
ICFEM 2018
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Jaco van de Pol - Research - Aarhus University
ICFEM 2018
People and visitors
Logic and Semantics
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
