Relating total and partial correctness interpretations of non-deterministic programs

Carl A. Gunter

Research output: Contribution to journal › Conference article › peer-review

Fingerprint

Dive into the research topics of 'Relating total and partial correctness interpretations of non-deterministic programs'. Together they form a unique fingerprint.

Engineering & Materials Science