The value of verification: Positive experience of industrial proof (1999)

by Steve King, Jonathan Hammond, Rod Chapman, Andy Pryor
Venue:In FM’99 — Formal Methods; Proceedings, volume 1709 of Lecture Notes in Computer Science