Towards a Formal Specification Methodology for Iconic Interface Design

Luigi Cinque, Maria Francesca Costabile, Stefano Levialdi, Michele Missikoff. Towards a Formal Specification Methodology for Iconic Interface Design. In VL. pages 149-155, 1990.

@inproceedings{CinqueCLM90,
  title = {Towards a Formal Specification Methodology for Iconic Interface Design},
  author = {Luigi Cinque and Maria Francesca Costabile and Stefano Levialdi and Michele Missikoff},
  year = {1990},
  tags = {design},
  researchr = {https://researchr.org/publication/CinqueCLM90},
  cites = {0},
  citedby = {0},
  pages = {149-155},
  booktitle = {VL},
}