Cover title.
Modellling and verification of timing conditions with the Boyer Moore Prover by A. Koelmans. Published by University of Newcastle upon Tyne, Computing Laboratory in 1991. Publication and catalogue information, links to buy online and reader comments.