Relating total and partial correctness interpretations of non-deterministic programs

Research output: Contribution to journalConference articlepeer-review

Fingerprint

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

Keyphrases

Computer Science

Mathematics

Biochemistry, Genetics and Molecular Biology