"A la Burstall" intermittent assertions induction principles for proving inevitability properties of programs

P. Cousot, R. Cousot

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of '"A la Burstall" intermittent assertions induction principles for proving inevitability properties of programs'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science