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

Jonathan P. Bowen, Victoria Stavridou

Browse the full FM paper archive.