Combining Formal Techniques and Prototyping in User Interface Construction and Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena. Combining Formal Techniques and Prototyping in User Interface Construction and Verification. In Philippe A. Palanque, Rémi Bastide, editors, Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995. pages 174-192, Springer, 1995.

This author has not been identified. Look up 'Peter Bumbulis' in GoogleThis author has not been identified. Look up 'Paulo S. C. Alencar' in GoogleThis author has not been identified. Look up 'Donald D. Cowan' in GoogleThis author has not been identified. Look up 'Carlos José Pereira de Lucena' in Google

runs on WebDSL