Academia and industry meet: Some experiences of formal methods in practice.

Guy H. Broadfoot, Philippa J. Broadfoot

Browse the full APSEC paper archive.