Robin M. Gallimore

	1990
6		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)

Coauthor Index

1	Jean-Raymond Abrial	[2]
2	Derek Coleman	[1] [2] [3] [4] [5] [6]
3	Hartmut Ehrig	[2]
4	Christopher Paul Gerrard	[6]
5	Joseph A. Goguen	[2]
6	Jane W. Hughes	[1] [2]
7	Hans-Jörg Kreowski	[2]
8	Leif Sandegaard Nielsen	[2]
9	Malcolm S. Powell	[1] [2]
10	Ib Holm Sørensen	[2]
11	Victoria Stavridou	[5]
12	Jørgen Steensgaard-Madsen	[2]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page