Robin M. Gallimore

Publication Activity (10 Years)

Years Active: 1979-1990
Publications (10 Years): 0

Publications

Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore
Formal Specification and Design Time Testing. IEEE Trans. Software Eng. 16 (1) (1990)
Robin M. Gallimore, Derek Coleman, Victoria Stavridou
UMIST OBJ: A Language for Executable Program Specifications. Comput. J. 32 (5) (1989)
Derek Coleman, Robin M. Gallimore, Victoria Stavridou
The design of a rewrite rule interpreter from algebraic specifications. Softw. Eng. J. 2 (4) (1987)
Derek Coleman, Robin M. Gallimore
Specification of Distributed Programs. Program Specification (1981)
Derek Coleman, Robin M. Gallimore
Partial Correctness of Distributed Programs. Program Specification (1981)
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)
Derek Coleman, Robin M. Gallimore, Jane W. Hughes, Malcolm S. Powell
An Assessment of Concurrent Pascal. Softw. Pract. Exp. 9 (10) (1979)