Download complete Report 2008 (Pdf format) - Faculty of Natural ...
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
Department of Computer Science, Aarhus University | LinkedIn
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
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
Logic and Semantics
ICFEM 2018
11 papers accepted at OOPSLA & POPL
ICFEM 2018
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Confluence reduction for probabilistic systems
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
People and visitors
ICFEM 2018
Logic and Semantics
