Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 7335bc15-e91c-4e17-a8be-932c9ccc0206 |
| isbn | |
| issn | |
| language | eng |
| physical | 1 volume |
| publication | – publisher: West Virginia University dateOfPublication: 1997 |
| publishDate | 1997 |
| subjects | |
| title | Formal methods for verification and validation of partial specifications a case study / by Steve Easterbrook and John Callahan. [microform] : |
| topic | Computer programs. Fault detection. Program verification (Computers) Safety. Software development tools. Specifications. |