SOFTWARE-SUPPORT FOR THE REFINEMENT OF VDM SPECIFICATIONS

Peter Kilpatrick, P. McParland

Research output: Contribution to conferencePaper

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

Conference

ConferenceVDM - The Way Ahead (VDM '88)
CountryIreland
CityDublin
Period01/09/198801/09/1988

Cite this