The VDM-SL Reference Guide

The readership will not just consist of programmers. It will also appeal to system designers, to customers wishing to specify their requirements, to evaluators of systems, and to lecturers and software engineering students. In short, anyone who wants to read a VDM specification More...with understanding. 2nd/3rd year computer science courses, parti