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

by P J Bumbulis, P S C Alencar, D D Cowan, C J P Lucena
Venue:In Proceedings of CASE95 (to appear