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
Acesso ao item digital