Using Static Analysis to Derive Imperative . . . (1994)

Cached

Download Links

by Patrice Quinton , Sanjay Rajopadhye , Doran Wilde