Patrick Cousot, Radhia Cousot. A la Burstall Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs. Theoretical Computer Science, 120(1):123-155, 1993.
@article{CousotC93,
title = { A la Burstall Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs},
author = {Patrick Cousot and Radhia Cousot},
year = {1993},
tags = {principles},
researchr = {https://researchr.org/publication/CousotC93},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {120},
number = {1},
pages = {123-155},
}