Formal methods for verification and validation of partial specifications

by Steve Easterbrook

No description is available for this edition yet.

No online reader is advertised for this title

Computer programsFault detectionProgram verification (Computers)SafetySoftware development toolsSpecifications

Keep the story going

Readers also explored

United States. General Accounting Office

United States. General Accounting Office