TY - BOOK AU - Burdorf,Christopher ED - United States. ED - Rand Corporation. TI - A multiprocessor execution profiler T2 - A Rand note PY - 1989/// CY - California PB - Rand Corporation KW - Debugging in computer science KW - Computer programs KW - Correctness N1 - Includes bibliographical references (p.8-9) ER -