| 1990 |
|---|
| 6 | EE | Christopher Paul Gerrard,
Derek Coleman,
Robin M. Gallimore:
Formal Specification and Design Time Testing.
IEEE Trans. Software Eng. 16(1): 1-12 (1990) |
| 1989 |
|---|
| 5 | | Robin M. Gallimore,
Derek Coleman,
Victoria Stavridou:
UMIST OBJ: A Language for Executable Progam Specifications.
Comput. J. 32(5): 413-421 (1989) |
| 1981 |
|---|
| 4 | | Derek Coleman,
Robin M. Gallimore:
Partial Correctness of Distributed Programs.
Program Specification 1981: 138-180 |
| 3 | | Derek Coleman,
Robin M. Gallimore:
Specification of Distributed Programs.
Program Specification 1981: 181-214 |
| 2 | | Jørgen Steensgaard-Madsen,
Jane W. Hughes,
Malcolm S. Powell,
Hartmut Ehrig,
Hans-Jörg Kreowski,
Leif Sandegaard Nielsen,
Jean-Raymond Abrial,
Ib Holm Sørensen,
Robin M. Gallimore,
Derek Coleman,
Joseph A. Goguen:
KWIC-index generation.
Program Specification 1981: 47-117 |
| 1979 |
|---|
| 1 | | Derek Coleman,
Robin M. Gallimore,
Jane W. Hughes,
Malcolm S. Powell:
An Assessment of Concurrent Pascal.
Softw., Pract. Exper. 9(10): 827-837 (1979) |
