Tim Denvir

发表

Specification and Correctness of Programs

Tim Denvir, 1986 .

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

Miquel Bertran, Maurice Naftalin, Tim Denvir, 1994, FME 1994.

5th Refinement Workshop

Cliff B. Jones, Roger C. F. Shaw, Tim Denvir, 1992, Workshops in Computing.

FME '94: Industrial Benefit of Formal Methods

Miquel Bertran, Maurice Naftalin, Tim Denvir, 1994, Lecture Notes in Computer Science.

Introduction to discrete mathematics for software engineering

Tim Denvir, 1986 .

5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992

Cliff B. Jones, Roger C. F. Shaw, Tim Denvir, 1992 .

Mappings and Functions

Tim Denvir, 1986 .

Functions and their Specifications

Tim Denvir, 1986 .

5th Refinement Workshop: Proceedings of the 5th BCS-FACS Refinement Workshop, London, UK, 1-10 January 1992

Cliff B. Jones, Roger C. F. Shaw, Tim Denvir, 1992 .

Formal Aspects of Measurement

Robin W. Whitty, Rosalind Herman, Tim Denvir, 1992, Workshops in Computing.

Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991

Ros Herman, R. W. Whitty, Tim Denvir, 1992, Formal Aspects of Measurement.

Sets and their Operations

Tim Denvir, 1986 .