An Instrumented Approach to Improving Software Quality Through Formal Technical Review.

Philip M. Johnson

Browse the full ICSE paper archive.