| |
| 1983 | ||
|---|---|---|
| 3 | EE | Erika Nyari, Harry M. Sneed: SOFSPEC: A Pragmatic Approach to Automated Specification Verification. ER 1983: 651-660 |
| 2 | EE | Erika Nyari, Harry M. Sneed: SOFSPEC: A pragmatic approach to automated specification verification. Journal of Systems and Software 3(3): 193-200 (1983) |
| 1982 | ||
| 1 | Erika Nyari: SOFSPEC: A pragmatic approach to automated specification verification. Software-Qualitätssicherung 1982: 173-187 | |
| 1 | Harry M. Sneed | [2] [3] |