Carneiro-CoffinCLS94'

@inproceedings{DBLP:conf/icse/Carneiro-CoffinCLS94,
  author    = {Luiza Marija F. Carneiro-Coffin and
               Donald D. Cowan and
               Carlos Jos{\'e} Pereira de Lucena and
               D. Smith},
  title     = {An Experience Using JASMINUM - Formalization Assisting with
               the Design of User Interfaces},
  booktitle = {ICSE Workshop on SE-HCI},
  year      = {1994},
  pages     = {141-158},
  ee        = {http://dx.doi.org/10.1007/BFb0035812},
  crossref  = {DBLP:conf/icse/1994sehci},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icse/1994sehci,
  editor    = {Richard N. Taylor and
               Jo{\"e}lle Coutaz},
  title     = {Software Engineering and Human-Computer Interaction, ICSE
               '94 Workshop on SE-HCI: Joint Research Issues, Sorrento,
               Italy, May 16-17, 1994, Proceedings},
  booktitle = {ICSE Workshop on SE-CHI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {896},
  year      = {1995},
  isbn      = {3-540-59008-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}