Object-oriented concepts and proof rules
Subtitle: formalization in type theory and implementation in yarrow
By: Jan Zwanenburg
Published: 1999
Language: eng
Number of pages: 347
Notes: Thesis (doctoral)--University of Eindhoven, 1999.