The author provides an account of formal specification in an industrial setting. The volume takes a particular approach to the …
