This is BibTeX, Version 0.99cThe top-level auxiliary file: C:\Documents and Settings\mcole\Desktop\NOVA\mike\paper\report\report_cole_williams.aux
The style file: IEEEtran.bst
Database file #1: IEEEabrv.bib
Database file #2: report_cole_williams.bib
Warning--entry type for "Menzies2008a" isn't style-file defined
--line 66 of file report_cole_williams.bib
Warning--I didn't find a database entry for "holzmann97"
Warning--I didn't find a database entry for "have00"
Warning--I didn't find a database entry for "boehm00a"
Warning--I didn't find a database entry for "demarco87"
Warning--I didn't find a database entry for "boehm00b"
Warning--I didn't find a database entry for "me06d"
Warning--I didn't find a database entry for "boehm81"
Warning--I didn't find a database entry for "me00e"
Warning--I didn't find a database entry for "me02f"
-- IEEEtran.bst version 1.12 (2007/01/11) by Michael Shell.
-- http://www.michaelshell.org/tex/ieeetran/bibtex/
-- See the "IEEEtran_bst_HOWTO.pdf" manual for usage information.

Done.
(There were 10 warnings)