Formalising interface specifications

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

142 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Baeten, Jos, Promotor De Bruin, Arie, Promotor, External person Kuiper, Ruurd, Copromotor
Award date	27 Nov 2006
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-386-0814-4
DOIs	https://doi.org/10.6100/IR614981
Publication status	Published - 2006

Access to Document