Find

For students
For PhDs
For employees

Department of Computer Science

Aarhus University Seal

Engineering › Electrical and Computer Engineering › Formal verification

1 - 1 out of 1Page size: 100

10
25
50
100
500

Sort by: Last name

Last name

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