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
Pierik, C. (2006, May 3). Validation Techniques for Object-oriented Proof Outlines.