Analysis of well-formedness and soundness by reduction techniques and their implementation

  • J.M.E.M. van der Werf

Student thesis: Master

Abstract

Date of Award31 Aug 2006
Original languageEnglish
SupervisorKees M. van Hee (Supervisor 1)

Cite this

Analysis of well-formedness and soundness by reduction techniques and their implementation
van der Werf, J. M. E. M. (Author). 31 Aug 2006

Student thesis: Master