1979 | ||
---|---|---|
2 | EE | Leon J. Osterweil, John R. Brown, Leon G. Stucki: ASSET: A life cycle verification and visibility system. Journal of Systems and Software 1: 77-86 (1979) |
1978 | ||
1 | John R. Brown, Kurt F. Fischer: A Graph Theoretic Approach to the Verification of Program Structures. ICSE 1978: 136-141 |
1 | Kurt F. Fischer | [1] |
2 | Leon J. Osterweil | [2] |
3 | Leon G. Stucki | [2] |