< back to main site

Publications

Conformity clause for VDM-SL.

Parkin, G; Wichmann, B (1993) Conformity clause for VDM-SL. In: Proc. FME '93 (Formal Methods Europe), April 1993, Odense, Denmark.

Full text not available from this repository.

Abstract

No abstract available

Item Type: Conference or Workshop Item (UNSPECIFIED)
Subjects: Mathematics and Scientific Computing
Mathematics and Scientific Computing > Software Engineering
Last Modified: 02 Feb 2018 13:19
URI: http://eprintspublications.npl.co.uk/id/eprint/1688

Actions (login required)

View Item View Item