Ten commandments revisited: a ten-year perspective on the industrial application of formal methods.

Jonathan P. Bowen, Michael G. Hinchey

Browse the full FMICS paper archive.