Customised induction rules for proving correctness of imperative programs (2004)

Cached

Download Links

by Angela Wallenburg
Citations:8 - 1 self