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: Verification | Computer software | Case studies | Nonlinear analysis | Plates | Quality control | Hydraulic structures | Structural design

Services: Buy this book/Buy this article

 

Return to search