Case studies in process specification and verification

J.C. Mulder

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • University of Amsterdam
Award date1 Jan 1990
Place of PublicationAmsterdam
Publisher
Publication statusPublished - 1990

Cite this