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 |