Formal Methods Reality Check: Industrial Usage.

Dan Craigen, Susan L. Gerhart, Ted Ralston

Browse the full FM paper archive.