Error-free software:know-how and know-why of program correctness
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Chichester
John Wiley & Sons
1991
|
| Series: | Wiley series in software engineering practice
|
| Subjects: |