Find

For students
For PhDs
For employees

Department of Computer Science

Aarhus University Seal

Engineering › Electrical and Computer Engineering › Formal methods

1 - 1 out of 1Page size: 100

10
25
50
100
500

Sort by: Last name

Last name

van de Pol, Jaco
Formal methods , Design and analysis og algorithms and data structures, Formal verification , Software specification and verification