Reasoning about Programs by Exploiting The Environment (1994)

Cached

Download Links

by Limor Fix , Fred B.Schneider
Venue:In Annual International Colloquium on Automata, Languages and Programming
Citations:10 - 0 self