ASCE will be sunsetting the Civil Engineering Database (CEDB) on June 30, 2025. We encourage you to start using the ASCE Library to perform content searches. In the ASCE Library, you can save your search results as well as receive email content alerts when new content relevant to your area of interest is published. Try it out today at https://ascelibrary.org.

 

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 | Computing in civil engineering | Computer software | Verification | Structural design | Quality control | Plates

Services: Buy this book/Buy this article

 

Return to search