Search the dblp DataBase
Robin M. Gallimore: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Derek Coleman, Robin M. Gallimore
Partial Correctness of Distributed Programs. [Citation Graph (0, 0)][DBLP]
Program Specification, 1981, pp:138-180 [Conf] - Derek Coleman, Robin M. Gallimore
Specification of Distributed Programs. [Citation Graph (0, 0)][DBLP]
Program Specification, 1981, pp:181-214 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
Program Specification, 1981, pp:47-117 [Conf] - Robin M. Gallimore, Derek Coleman, Victoria Stavridou
UMIST OBJ: A Language for Executable Progam Specifications. [Citation Graph (0, 0)][DBLP]
Comput. J., 1989, v:32, n:5, pp:413-421 [Journal] - Derek Coleman, Robin M. Gallimore, Jane W. Hughes, Malcolm S. Powell
An Assessment of Concurrent Pascal. [Citation Graph (0, 0)][DBLP]
Softw., Pract. Exper., 1979, v:9, n:10, pp:827-837 [Journal] - Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore
Formal Specification and Design Time Testing. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1990, v:16, n:1, pp:1-12 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002