Combining Formal Techniques and Prototyping in User Interface Construction and Verification (1995)

Cached

Download Links

by Peter Bumbulis , P. S. C. Alencar , D. D. Cowan , C. J. P. Lucena
Venue:In 2nd Eurographics Workshop on Design, Specification, Verification of Interactive Systems (DSV-IS'95). Springer-Verlag Lecture Notes in Computer Science
Citations:10 - 5 self