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.- Sort by
- Weight
- Alphabetically
"A la Burstall" intermittent assertions induction principles for proving inevitability properties of programs
P. Cousot, R. Cousot
Research output: Contribution to journal › Article › peer-review