Formal Methods in Standards: A Report from the BCS Working Group

Clive L.N. Ruggles , Derek Andrews , David Blyth