SOFTWARE-SUPPORT FOR THE REFINEMENT OF VDM SPECIFICATIONS


Autoria(s): Kilpatrick, Peter; McParland, P.
Data(s)

01/09/1988

Identificador

http://pure.qub.ac.uk/portal/en/publications/softwaresupport-for-the-refinement-of-vdm-specifications(6e265623-0e3d-4b53-8bf7-d59ba27b7e6f).html

Idioma(s)

eng

Direitos

info:eu-repo/semantics/restrictedAccess

Fonte

Kilpatrick , P & McParland , P 1988 , ' SOFTWARE-SUPPORT FOR THE REFINEMENT OF VDM SPECIFICATIONS ' Paper presented at VDM - The Way Ahead (VDM '88) , Dublin , Ireland , 01/09/1988 - 01/09/1988 , .

Tipo

conferenceObject