BibTeX record conf/mbui/CampiMP04

• > Home > conf/mbui/CampiMP04

@inproceedings{DBLP:conf/mbui/CampiMP04,
  author       = {Alessandro Campi and
                  Eliseo Martinez and
                  Pierluigi {San Pietro}},
  editor       = {Hallvard Tr{\ae}tteberg and
                  Pedro J. Molina and
                  Nuno Jardim Nunes},
  title        = {Experiences with a Formal Method for Design and Automatic Checking
                  of User Interfaces},
  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, Portugal, January 13,
                  2004},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {103},
  publisher    = {CEUR-WS.org},
  year         = {2004},
  url          = {https://ceur-ws.org/Vol-103/campi-et-al.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:19 +0100},
  biburl       = {https://dblp.org/rec/conf/mbui/CampiMP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}