Author: Ales Limpouch

Limpouch, Ales (1994): Grammar-based Formal Specification for the Object-Oriented User Interface Development. In: Paternò, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 369-382.