 | 2002 |
|---|
| 7 |       | John Cooke,
B. Tim Denvir:
Editorial.
Formal Asp. Comput. 13(2): 93 (2002) |
| 2000 |
|---|
| 6 | | B. Tim Denvir,
José Nuno Oliveira,
Nico Plat:
The Cash-Point (ATM) `Problem'.
Formal Asp. Comput. 12(4): 211-215 (2000) |
| 1994 |
|---|
| 5 |  | Maurice Naftalin,
B. Tim Denvir,
Miquel Bertran:
FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings
Springer 1994 |
| 1992 |
|---|
| 4 | | B. Tim Denvir,
Ros Herman,
R. W. Whitty:
Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
Springer 1992 |
| 1986 |
|---|
| 3 | | B. Tim Denvir:
Advanced Software Technology - Development and Introduction to Practice - Response.
IFIP Congress 1986: 613-616 |
| 1985 |
|---|
| 2 | | B. Tim Denvir,
W. T. Harwood,
M. I. Jackson,
M. J. Wray:
The Analysis of Concurrent Systems, Cambridge, September 12-16, 1983, Proceedings
Springer 1985 |
| 1 | | M. I. Jackson,
B. Tim Denvir,
R. C. Shaw:
Experience of Introducing the Vienna Development Method into an Industrial Organization.
TAPSOFT, Vol.2 1985: 410-422 |
