Toggle Main Menu Toggle Search

ePrints

Teaching notes (second version) for 'Systematic software development using VDM'

Lookup NU author(s): Professor Cliff Jones

Downloads

Full text is not currently available for this publication.


Publication metadata

Author(s): Jones CB

Publication type: Report

Publication status: Published

Series Title:

Year: 1987

Print publication date: 01/12/1987

Source Publication Date: December 1987

Report Number: UMCS 87-12-9

Institution: University of Manchester

Place Published: Manchester


Share