The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.

Jonathan P. Bowen Victoria Stavridou The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. 183-195 1993 conf/fm/1993 FME db/conf/fm/fme1993.html#BowenS93 http://dx.doi.org/10.1007/BFb0024646