1981 | ||
---|---|---|
3 | EE | David J. Panzl: A method for evaluating software development techniques. Journal of Systems and Software 2(2): 133-137 (1981) |
1978 | ||
2 | David J. Panzl: Automatic Revision of Formal Test Procedures. ICSE 1978: 320-326 | |
1976 | ||
1 | David J. Panzl: Test Procedures: A New Approach to Software Verification. ICSE 1976: 477-485 |