An Instrumented Approach to Improving Software Quality Through Formal Technical Review

@inproceedings{Johnson:ICSE94,
  author    = {Philip M. Johnson},
  title     = {An Instrumented Approach to Improving Software Quality Through Formal Technical Review},
  booktitle = {ICSE},
  pages     = {113--122},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1994},
}