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 | Nonlinear analysis | Plates | Quality control | Hydraulic structures | Structural design

Services: Buy this book/Buy this article


Return to search