Desiderata for Interactive Verification Systems (1994)

Cached

Download Links

by Konrad Slind , Christian Prehofer

Document Versions

Desiderata for Interactive Verification Systems –Konrad Slind, Christian Prehofer — 1994