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

• Authors:

• P. Cousot;R. Cousot

• Affiliations:

• -;-

• Venue:
• Theoretical Computer Science
• Year:
• 1993