SOFTWARE-SUPPORT FOR THE REFINEMENT OF VDM SPECIFICATIONS

Peter Kilpatrick, P. McParland

Research output: Contribution to conference › Paper

Original languageEnglish
Publication statusPublished - Sept 1988
EventVDM - The Way Ahead (VDM '88) - Dublin, Ireland
Duration: 01 Sept 1988 → 01 Sept 1988

Conference

ConferenceVDM - The Way Ahead (VDM '88)
Country/TerritoryIreland
CityDublin
Period01/09/1988 → 01/09/1988

Cite this