On the Search for Tractable Ways of Reasoning about Programs (2001)

Cached

Download Links

by C. B. Jones
Citations:9 - 1 self