DBLP Record 'conf/dsvis/AmeurGJ98'

BibTeX

@inproceedings{DBLP:conf/dsvis/AmeurGJ98,
  author    = {Yamine A\"{\i}t Ameur and
               Patrick Girard and
               Francis Jambon},
  title     = {A Uniform Approach for Specification and Design of Interactive
               Systems: the B Method},
  booktitle = {DSV-IS (2)},
  year      = {1998},
  pages     = {51-67},
  crossref  = {DBLP:conf/dsvis/1998-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dsvis/1998-2,
  editor    = {Panos Markopoulos and
               Peter Johnson},
  title     = {Design, Specification and Verification of Interactive Systems'98,
               Supplementary Proceedings of the Fifth International Eurographics
               Workshop, June 3-5, 1998, Abingdon, United Kingdom},
  booktitle = {DVS-IS},
  publisher = {Eurographics Association},
  volume    = {2},
  year      = {1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}