Soundness of data refinement for a higher-order imperative language

David A. Naumann

Research output: Contribution to journal › Article › peer-review

11 Scopus citations

Fingerprint

Dive into the research topics of 'Soundness of data refinement for a higher-order imperative language'. Together they form a unique fingerprint.

Computer Science

Engineering

Biochemistry, Genetics and Molecular Biology