Toggle Main Menu Toggle Search

Open Access padlockePrints

Program specification and verification in VDM

Lookup NU author(s): Professor Cliff Jones


Full text is not currently available for this publication.

Publication metadata

Author(s): Jones CB

Publication type: Report

Publication status: Published

Series Title:

Year: 1986

Print publication date: 01/01/1986

Source Publication Date: 1986

Report Number: UMCS 86-10-5

Institution: University of Manchester

Place Published: Manchester