2006-05-03
Validation Techniques for Object-oriented Proof Outlines
Publication
Publication
Additional Metadata | |
---|---|
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.
|