 | 1985 |
|---|
| 6 |       | Mack W. Alford,
Jean-Pierre Ansart,
Günter Hommel,
Leslie Lamport,
Barbara Liskov,
Geoff P. Mullery,
Fred B. Schneider:
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich
Springer 1985 |
| 1984 |
|---|
| 5 | | Geoff P. Mullery:
Acquisition-Environment.
Advanced Course: Distributed Systems 1984: 45-130 |
| 4 | | Geoff P. Mullery:
Conclusion.
Advanced Course: Distributed Systems 1984: 539-547 |
| 3 | | Mack W. Alford,
Leslie Lamport,
Geoff P. Mullery:
Basic Concepts.
Advanced Course: Distributed Systems 1984: 7-43 |
| 1982 |
|---|
| 2 | | A. A. Levene,
Geoff P. Mullery:
An Invetigation of Requirement Specification Languages: Theory and Practice.
IEEE Computer 15(5): 50-59 (1982) |
| 1979 |
|---|
| 1 | | Geoff P. Mullery:
CORE : A Method for Controlled Requirement Expression.
ICSE 1979: 126-135 |
