| 1986 |
|---|
| 6 | EE | George B. Leeman Jr.:
A Formal Approach to Undo Operations in Programming Languages.
ACM Trans. Program. Lang. Syst. 8(1): 50-87 (1986) |
| 1985 |
|---|
| 5 | | Robert F. Gordon,
George B. Leeman Jr.,
Clayton H. Lewis:
Concepts and Implications of Undo for Interactive Recovery.
ACM Annual Conference - The range of computing: mid-80's perspective 1985: 150-157 |
| 1984 |
|---|
| 4 | | Cyril N. Alberga,
Allen L. Brown,
George B. Leeman Jr.,
Martin Mikelsons,
Mark N. Wegman:
A Program Development Tool.
IBM Journal of Research and Development 28(1): 60-73 (1984) |
| 1981 |
|---|
| 3 | | Cyril N. Alberga,
Alfred L. Brown,
George B. Leeman Jr.,
Martin Mikelsons,
Mark N. Wegman:
A Program Development Tool.
POPL 1981: 92-104 |
| 1975 |
|---|
| 2 | | George B. Leeman Jr.:
Some Problems in Certifying Microprograms.
IEEE Trans. Computers 24(5): 545-553 (1975) |
| 1974 |
|---|
| 1 | | George B. Leeman Jr.,
William C. Carter,
Alexander Birman:
Some Techniques for Microprogram Validation.
IFIP Congress 1974: 76-80 |
