Skip to main content

NASA Technical Reports Server (NTRS) 20040191341: Model Checking Failed Conjectures in Theorem Proving: A Case Study

Item Preview

SIMILAR ITEMS (based on metadata)