The Automated Transformation of Abstract Specifications

Autoria(s): Fitzpatrick, S.; Harmer, T.; Stewart, Henry; Clint, M.; Boyle, J.
Data(s)

1997
Identificador

http://pure.qub.ac.uk/portal/en/publications/the-automated-transformation-of-abstract-specifications(f0f91cda-051d-4ad6-b6a1-d53be00f730e).html
Idioma(s)

eng
Direitos

info:eu-repo/semantics/restrictedAccess
Fonte

Fitzpatrick , S , Harmer , T , Stewart , H , Clint , M & Boyle , J 1997 , ' The Automated Transformation of Abstract Specifications ' Science of Computer Programming , vol 28 (1) , pp. 1-41 .
Tipo

article
Acesso ao item digital