TY  - RPRT
TI  - Model Checking Failed Conjectures in Theorem Proving: A Case Study
AU  - Pike, Lee
AU  - Miner, Paul
AU  - Torres-Pomales, Wilfredo
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040191341
ID  - 20040191341
ER  -