1995'

@proceedings{DBLP:conf/dsvis/1995,
  editor    = {Philippe A. Palanque and
               R{\'e}mi Bastide},
  title     = {Design, Specification and Verification of Interactive Systems
               '95, Proceedings of the Eurographics Workshop in Toulouse,
               France June 7-9, 1995},
  booktitle = {DSV-IS},
  publisher = {Springer},
  year      = {1995},
  isbn      = {3-211-82739-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}