The VDM-SL Reference Guide

Publisher Website
Google Scholar
Abstract
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

This publication has 0 references indexed in Scilit: