Methods and logics for proving programs (1990)

by P Cousot
Venue:In Formal Models and Semantics