The Role of Proof in a Formal Specification of the Speedway Rulebook

Helen Lowe, John Lowe. The Role of Proof in a Formal Specification of the Speedway Rulebook. In Andrew Butterfield, Klemens Haegele, editors, 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999. Workshops in Computing, BCS, 1999.

Abstract

Abstract is missing.