Desiderata for Interactive Verification Systems (1994)

Cached

Download Links

by Konrad Slind , Christian Prehofer