Derivation of scientific software from mathematical specifications

Research output: Contribution to conferencePaper

Original languageEnglish
Pages439-440
Number of pages2
Publication statusPublished - Jul 1995
Event3rd International Congress on Industrial and Applied Mathematics (ICIAM 95) - HAMBURG, Germany
Duration: 01 Jul 199501 Jul 1995

Conference

Conference3rd International Congress on Industrial and Applied Mathematics (ICIAM 95)
CountryGermany
CityHAMBURG
Period01/07/199501/07/1995

Bibliographical note

ISSN: 0044-2267

Cite this