Specification and Refinement of Type Interfaces in Scientific Software (2012)

First Author: Galloway A
Attributed to:  High-integrity Java Applications using Circus funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.cs.york.ac.uk/ftpdir/reports/2012/YCS/474/YCS-2012-474.pdf

Type: Technical Report