< back to main site
Browse Search Publications

We use cookies to ensure that we give you the best experience on our website Learn more

Publications

Items where Author is "Parkin, G"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.

Conference or Workshop Item

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

This list was generated on Wed Oct 29 10:38:45 2025 GMT.