DMCA

Validating Interactive System Design Through the Verification of Formal Task and System Models (1995)

Cached

Download Links

by Palanque Bastide , P. Palanque , R. Bastide
Citations:20 - 3 self