Formalising interface specifications

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

111 Downloads (Pure)
Originele taal-2Engels
KwalificatieDoctor in de Filosofie
Toekennende instantie
  • Mathematics and Computer Science
Begeleider(s)/adviseur
  • Baeten, Jos, Promotor
  • De Bruin, Arie, Promotor, Externe Persoon
  • Kuiper, Ruurd, Co-Promotor
Datum van toekenning27 nov 2006
Plaats van publicatieEindhoven
Uitgever
Gedrukte ISBN's90-386-0814-4
DOI's
StatusGepubliceerd - 2006

Citeer dit