III. Histoire par époques - Geschiedenis in tijdvakken - Persée
Logic and Semantics
New colleagues - 2019
11 papers accepted at OOPSLA & POPL
CPV
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
ICFEM 2018
ICFEM 2018
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
UPPAAL in Practice: Quantitative Verification of a RapidIO Network⋆
Logic and Semantics
People and visitors
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
ICFEM 2018
Logic and Semantics
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 van de Pol
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
New colleagues - 2019
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
