Formal methods reality check: Industrial usage (1995)

by D Craigen, S L Gerhart, T Ralston
Venue:IEEE Transaction on Software Engineering