A Framework for Machine-Assisted User Interface Verification

Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena. A Framework for Machine-Assisted User Interface Verification. In Vangalur S. Alagar, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 4th International Conference, AMAST 95, Montreal, Canada, July 3-7, 1995, Proceedings. Volume 936 of Lecture Notes in Computer Science, pages 461-474, Springer, 1995.

Authors

Peter Bumbulis

This author has not been identified. Look up 'Peter Bumbulis' in Google

Paulo S. C. Alencar

This author has not been identified. Look up 'Paulo S. C. Alencar' in Google

Donald D. Cowan

This author has not been identified. Look up 'Donald D. Cowan' in Google

Carlos José Pereira de Lucena

This author has not been identified. Look up 'Carlos José Pereira de Lucena' in Google