%0 Conference Paper %1 conf/vl/CinqueCLM90 %A Cinque, Luigi %A Costabile, Maria Francesca %A Levialdi, Stefano %A Missikoff, Michele %B VL %D 1990 %I IEEE Computer Society %K dblp %P 149-155 %T Towards a Formal Specification Methodology for Iconic Interface Design. %U http://dblp.uni-trier.de/db/conf/vl/vl1990.html#CinqueCLM90 %@ 0-8186-2090-0

@inproceedings{conf/vl/CinqueCLM90, added-at = {2023-03-23T00:00:00.000+0100}, author = {Cinque, Luigi and Costabile, Maria Francesca and Levialdi, Stefano and Missikoff, Michele}, biburl = {https://www.bibsonomy.org/bibtex/296b39a844cc74b2728bc08f88cc70d0b/dblp}, booktitle = {VL}, crossref = {conf/vl/1990}, ee = {https://doi.ieeecomputersociety.org/10.1109/WVL.1990.128397}, interhash = {def8219ecbdd8fc718a677f2ba65ae17}, intrahash = {96b39a844cc74b2728bc08f88cc70d0b}, isbn = {0-8186-2090-0}, keywords = {dblp}, pages = {149-155}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:08:42.000+0200}, title = {Towards a Formal Specification Methodology for Iconic Interface Design.}, url = {http://dblp.uni-trier.de/db/conf/vl/vl1990.html#CinqueCLM90}, year = 1990 }