Abstraction, specification and implementation techniques : with an application to garbage collection

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

251 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Kruseman Aretz, Frans, Promotor Rem, Martin, Promotor
Award date	12 Feb 1982
Place of Publication	Amsterdam
Publisher	Stichting Mathematisch Centrum
Publication status	Published - 1982

Access to Document

@phdthesis{322b11ae800f47e881e00fb57eaf7770,

title = "Abstraction, specification and implementation techniques : with an application to garbage collection",

author = "H.B.M. Jonkers",

year = "1982",

language = "English",

publisher = "Stichting Mathematisch Centrum",

type = "Phd Thesis 2 (Research NOT TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}