An Algebraic Construction of Predicate Transformers (1994)

Cached

Download Links

by Paul Gardiner , Clare Martin , Oege De Moor
Venue:Science of Computer Programming
Citations:20 - 1 self