B. Tim Denvir

Publication Activity (10 Years)

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

Publications

John Cooke, B. Tim Denvir
Editorial. Formal Aspects Comput. 13 (2) (2002)
B. Tim Denvir, José Nuno Oliveira, Nico Plat
The Cash-Point (ATM) 'Problem'. Formal Aspects Comput. 12 (4) (2000)
B. Tim Denvir
Advanced Software Technology - Development and Introduction to Practice - Response. IFIP Congress (1986)
M. I. Jackson, B. Tim Denvir, Roger C. Shaw
Experience of Introducing the Vienna Development Method into an Industrial Organization. TAPSOFT, Vol.2 (1985)
B. Tim Denvir
On orthogonality in programming languages. ACM SIGPLAN Notices 14 (7) (1979)