| |
| 1982 | ||
|---|---|---|
| 2 | Maria Majoros: SOFTEST: A System for the Automatic Verification of PL/1, COBOL and Assembler Programs. Software-Qualitätssicherung 1982: 253-269 | |
| 1981 | ||
| 1 | EE | Maria Majoros, Harry M. Sneed: The softest program test system. Journal of Systems and Software 2(4): 289-296 (1981) |
| 1 | Harry M. Sneed | [1] |