@inproceedings{Bush:ICSE90,
author = {Marilyn W. Bush},
title = {Improving Software Quality: The Use of Formal Inspections at the {JPL} {(Experience} Report)},
booktitle = {ICSE},
pages = {196--199},
publisher = {{IEEE} Computer Society},
year = {1990},
}