Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
People and visitors
Download complete Report 2008 (Pdf format) - Faculty of Natural ...
Logic and Semantics
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
New colleagues - 2019
ICFEM 2018
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
11 papers accepted at OOPSLA & POPL
Jaco van de Pol
Jaco van de Pol - Research - Aarhus University
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
ICFEM 2018
III. Histoire par époques - Geschiedenis in tijdvakken - Persée
Confluence reduction for probabilistic systems
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
People and visitors
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
