(Programs), Proofs and Refutations (and Tests and Mutants)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of '(Programs), Proofs and Refutations (and Tests and Mutants)'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Mathematics