Research Output per year
Research Output 1972 2019
2016
277
Downloads
(Pure)
Automatische software-analyse in context
Vinju, J., 12 Feb 2016, Eindhoven: Technische Universiteit Eindhoven. 28 p.Research output: Book/Report › Inaugural speech › Academic
Open Access
File
2008
62
Downloads
(Pure)
Consistentie tussen model en code
Brand, van den, M. G. J., 2008, Eindhoven: Technische Universiteit Eindhoven. 31 p.Research output: Book/Report › Inaugural speech › Academic
Open Access
File
35
Downloads
(Pure)
Op zoek naar bewijs
Zantema, H., 2008, Nijmegen: Radboud Universiteit. 18 p.Research output: Book/Report › Inaugural speech › Academic
Open Access
File
2007
27
Downloads
(Pure)
Computer-ondersteund redeneren : de boekhouder steunt de denker
Geuvers, J. H., 2007, Nijmegen: Radboud Universiteit Nijmegen. 26 p.Research output: Book/Report › Inaugural speech › Academic
Open Access
File