Experiments in specification re-engineering

J.A. Hillebrand

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

Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • University of Amsterdam
Supervisors/Advisors
  • Bergstra, Jan A., Promotor, External person
  • van den Brand, Mark G.J., Copromotor
Award date12 Dec 1996
Place of PublicationAmsterdam
Publisher
Print ISBNs9074795609
Publication statusPublished - 12 Dec 1996
Externally publishedYes

Bibliographical note

Proefschrift.

Cite this