, ,
,
J.-J.C. Meyer (John-Jules)
Universiteit Utrecht

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