Software Verification: A Case Study

by Joy M. Pauschke,
Taha D. Al-Shawaf,



Document Type: Proceeding Paper

Part of: Computing in Civil Engineering: Microcomputers to Supercomputers

Subject Headings: Case studies | Computer software | Verification

Services: Buy this book/Buy this article

 

Return to search