Formal Methods in Standards - A Report from the BCS Working Group.

Clive Ruggles

Browse the full FM paper archive.