SOFTWARE-SUPPORT FOR THE REFINEMENT OF VDM SPECIFICATIONS

Autoria(s): KILPATRICK, P; MCPARLAND, P
Data(s)

1988
Identificador

http://pure.qub.ac.uk/portal/en/publications/softwaresupport-for-the-refinement-of-vdm-specifications(802229e4-7f8a-4d78-9a07-73b82f2db384).html
Idioma(s)

eng
Direitos

info:eu-repo/semantics/restrictedAccess
Fonte

KILPATRICK , P & MCPARLAND , P 1988 , ' SOFTWARE-SUPPORT FOR THE REFINEMENT OF VDM SPECIFICATIONS ' Lecture Notes in Computer Science , vol 328 , pp. 459-475 .
Tipo

article
Acesso ao item digital