C.J.P.: Combining Formal Techniques and Prototyping in User Interface Construction and Verification (0)

by P Bumbulis, P S C Alencar, D D Cowan, Lucena
Venue:Proc. of Eurographics Workshop on Design, Specification and Verification of Interactive Systems DSV-IS'95 (Bonas