You are about to access our book library "Formal Methods in Standards: A Report from the BCS Working Group full version" .