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.
@inproceedings{BumbulisACL95,
title = {Combining Formal Techniques and Prototyping in User Interface Construction and Verification},
author = {Peter Bumbulis and Paulo S. C. Alencar and Donald D. Cowan and Carlos José Pereira de Lucena},
year = {1995},
tags = {C++},
researchr = {https://researchr.org/publication/BumbulisACL95},
cites = {0},
citedby = {0},
pages = {174-192},
booktitle = {Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995},
editor = {Philippe A. Palanque and Rémi Bastide},
publisher = {Springer},
isbn = {3-211-82739-0},
}