Derivation of scientific software from mathematical specifications


Autoria(s): Kilpatrick, Peter; Scott, Stan
Data(s)

01/07/1995

Identificador

http://pure.qub.ac.uk/portal/en/publications/derivation-of-scientific-software-from-mathematical-specifications(ac1dbb2e-3792-49e6-ae00-e60423572ab4).html

Idioma(s)

eng

Direitos

info:eu-repo/semantics/restrictedAccess

Fonte

Kilpatrick , P & Scott , S 1995 , ' Derivation of scientific software from mathematical specifications ' Paper presented at 3rd International Congress on Industrial and Applied Mathematics (ICIAM 95) , HAMBURG , Germany , 01/07/1995 - 01/07/1995 , pp. 439-440 .

Tipo

conferenceObject