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

by S King, J Hammond, R Chapman, A Pryor
Venue:Formal Methods 1999 Technical Symposium