![]() | ![]() |
1979 | ||
---|---|---|
3 | Anthony I. Wasserman, Charles J. Prenner: Toward a unified view of data base management, programming languages, and operating systems-a tutorial. Inf. Syst. 4(2): 119-126 (1979) | |
1976 | ||
2 | EE | Charles J. Prenner, Alfred Z. Spector: Instructional computer systems for higher education. AFIPS National Computer Conference 1976: 171-177 |
1 | Patricia P. Griffiths, Charles J. Prenner: Verifying Formal Specifications of Synchronous Processes. POPL 1976: 192-208 |
1 | Patricia P. Griffiths | [1] |
2 | Alfred Z. Spector | [2] |
3 | Anthony I. Wasserman | [3] |