Author: Ales Limpouch
Publications
Publication period start: 1994
Publications
Limpouch, Ales (1994): Grammar-based Formal Specification for the Object-Oriented User Interface Development. In: Paterno, 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.