Derivation of scientific software from mathematical specifications

Peter Kilpatrick; Stan Scott

Derivation of scientific software from mathematical specifications

Research output: Contribution to conference › Paper

Original language	English
Pages	439-440
Number of pages	2
Publication status	Published - Jul 1995
Event	3rd International Congress on Industrial and Applied Mathematics (ICIAM 95) - HAMBURG, Germany Duration: 01 Jul 1995 → 01 Jul 1995

Conference

Conference	3rd International Congress on Industrial and Applied Mathematics (ICIAM 95)
Country/Territory	Germany
City	HAMBURG
Period	01/07/1995 → 01/07/1995

Bibliographical note

ISSN: 0044-2267

Cite this

@conference{ac1dbb2e379249e6ae00e60423572ab4,

title = "Derivation of scientific software from mathematical specifications",

author = "Peter Kilpatrick and Stan Scott",

note = "ISSN: 0044-2267; 3rd International Congress on Industrial and Applied Mathematics (ICIAM 95) ; Conference date: 01-07-1995 Through 01-07-1995",

year = "1995",

month = jul,

language = "English",

pages = "439--440",

}