A Framework for Prototyping and Mechanically Verifying User Interfaces (1995)

Cached

Download Links

by Peter Bumbulis , P. S. C. Alencar , D. D. Cowan , C.J.P. Lucena
Citations:1 - 1 self