Research Output 1972 2019

Filter
Inaugural speech
2016

Automatische software-analyse in context

Vinju, J., 12 Feb 2016, Eindhoven: Technische Universiteit Eindhoven. 28 p.

Research output: Book/ReportInaugural speechAcademic

Open Access
File
2008

Consistentie tussen model en code

Brand, van den, M. G. J., 2008, Eindhoven: Technische Universiteit Eindhoven. 31 p.

Research output: Book/ReportInaugural speechAcademic

Open Access
File

Op zoek naar bewijs

Zantema, H., 2008, Nijmegen: Radboud Universiteit. 18 p.

Research output: Book/ReportInaugural speechAcademic

Open Access
File
2007

Computer-ondersteund redeneren : de boekhouder steunt de denker

Geuvers, J. H., 2007, Nijmegen: Radboud Universiteit Nijmegen. 26 p.

Research output: Book/ReportInaugural speechAcademic

Open Access
File