Formalising interface specifications

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

98 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
Supervisors/Advisors
  • Baeten, Jos, Promotor
  • De Bruin, Arie, Promotor, External person
  • Kuiper, Ruurd, Copromotor
Award date27 Nov 2006
Place of PublicationEindhoven
Publisher
Print ISBNs90-386-0814-4
DOIs
Publication statusPublished - 2006

Cite this