Overview
Report produced by the Formal Methods in Standards Working Group of the British Computer Society.
Book details: Formal Methods in Standards: A Report from the BCS Working Group by author Clive L. N. Ruggles, Published by Springer, in Paperback or Softback binding, 135 pages, ISBN 9783540195771
Book details: Formal Methods in Standards: A Report from the BCS Working Group by author Clive L. N. Ruggles, Published by Springer, in Paperback or Softback binding, 135 pages, ISBN 9783540195771