You are about to access our book library "BCS-FACS Northern Formal Methods Workshop full version" .