Software (acm D), Theory of Computation (acm F), Mathematics of Computing (acm G)
Software (theme 1), Software (theme 1)
J.-J.C. Meyer (John-Jules)
Universiteit Utrecht
978-90-393-4217-6

Pierik, C. (2006, May 3). Validation Techniques for Object-oriented Proof Outlines.