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

by S King, J Hammond, R Chapman, A Pryor
Venue:In Lecture Notes in Computer Science