Validation Techniques for Object-oriented Proof Outlines

Additional Metadata
ACM	Software (acm D), Theory of Computation (acm F), Mathematics of Computing (acm G)
THEME	Software (theme 1), Software (theme 1)
Promotor	J.-J.C. Meyer (John-Jules)
Degree Grantor	Universiteit Utrecht
ISBN	978-90-393-4217-6
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Pierik, C. (2006, May 3). Validation Techniques for Object-oriented Proof Outlines.

Publication