Overview: Survey of Formal Methods in Industry.

Graeme I. P. Parkin, Stephen Austin

Browse the full FORTE paper archive.