Units-of-Measure Correctness in Fortran Programs (2016)

First Author: Contrastin Mistral
Attributed to:  CamFort: Automated evolution and verification of computational science models funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Journal Article/Review

Volume: 18

Parent Publication: COMPUTING IN SCIENCE & ENGINEERING

Issue: 1

ISSN: 1521-9615