B. Tim Denvir

According to our database, B. Tim Denvir authored at least 5 papers between 1979 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2002

Editorial.

John Cooke, B. Tim Denvir

Formal Aspects Comput., 2002

2000

The Cash-Point (ATM) 'Problem'.

B. Tim Denvir, José Nuno Oliveira, Nico Plat

Formal Aspects Comput., 2000

1986

Advanced Software Technology - Development and Introduction to Practice - Response.

B. Tim Denvir

Proceedings of the Information Processing 86, 1986

1985

Experience of Introducing the Vienna Development Method into an Industrial Organization.

M. I. Jackson, B. Tim Denvir, Roger C. Shaw

Proceedings of the Mathematical Foundations of Software Development, 1985

1979

On orthogonality in programming languages.

B. Tim Denvir

ACM SIGPLAN Notices, 1979