| 1992 |
|---|
| 4 | | David W. Bustard,
M. T. Norris,
R. A. Orr,
Adam C. Winstanley:
An Exercise in Formalizing the Description of a Concurrent System.
Softw., Pract. Exper. 22(12): 1069-1098 (1992) |
| 1989 |
|---|
| 3 | | S. Patel,
R. A. Orr,
M. T. Norris,
David W. Bustard:
Tools to Support Formal Methods.
ICSE 1989: 123-132 |
| 1988 |
|---|
| 2 | | David W. Bustard,
Adam C. Winstanley,
M. T. Norris,
R. A. Orr,
S. Patel:
Graphical Views of Process-Orientated Specifications.
FORTE 1988: 143-156 |
| 1 | | R. A. Orr,
M. T. Norris,
R. Tinker,
C. D. V. Rouch:
Tools for Real-Time System Design.
ICSE 1988: 130-140 |
