Validation techniques for object-oriented proof outlines

C. Pierik

Research output: Thesis › Doctoral thesis 1 (Research UU / Graduation UU)

Original languageUndefined/Unknown
QualificationDoctor of Philosophy
Awarding Institution
  • Utrecht University
Supervisors/Advisors
  • Meyer, John-Jules, Primary supervisor
  • de Boer, Dick, Co-supervisor
Award date3 May 2006
Print ISBNs90-393-4217-2
Publication statusPublished - 3 May 2006

Cite this