Agile Formal Method Engineering.

Richard F. Paige, Phillip J. Brooke

Browse the full IFM paper archive.