ePrints

Combining implicit/explicit function definitions in the VDM protostandard

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

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: 1988

Print publication date: 01/04/1988

Source Publication Date: April 1988

Report Number: IST/5/50 Document no. 58

Institution: BSI

Share