Alessandro Campi, Eliseo Martinez, Pierluigi San Pietro. Experiences with a Formal Method for Design and Automatic Checking of User Interfaces. In Hallvard Trætteberg, Pedro J. Molina, Nuno Jardim Nunes, editors, MBUI 2004, Making model-based user interface design practical: usable and open methods and tools, Proceedings of the First International Workshop on Making model-based user interface design practical: usable and open methods and tools, Funchal, Madeira, P. Volume 103 of CEUR Workshop Proceedings, CEUR-WS.org, 2004. [doi]
@inproceedings{CampiMP04,
title = {Experiences with a Formal Method for Design and Automatic Checking of User Interfaces},
author = {Alessandro Campi and Eliseo Martinez and Pierluigi San Pietro},
year = {2004},
url = {http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS//Vol-103/campi-et-al.pdf},
tags = {design},
researchr = {https://researchr.org/publication/CampiMP04},
cites = {0},
citedby = {0},
booktitle = {MBUI 2004, Making model-based user interface design practical: usable and open methods and tools, Proceedings of the First International Workshop on Making model-based user interface design practical: usable and open methods and tools, Funchal, Madeira, P},
editor = {Hallvard Trætteberg and Pedro J. Molina and Nuno Jardim Nunes},
volume = {103},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}