The use of industrial-strength formal methods.

Jonathan P. Bowen, Michael G. Hinchey

Browse the full COMPSAC paper archive.