DBLP Record 'conf/icse/BerstelCRP01'

BibTeX

@inproceedings{DBLP:conf/icse/BerstelCRP01,
  author    = {Jean Berstel and
               Stefano Crespi-Reghizzi and
               Gilles Roussel and
               Pierluigi San Pietro},
  title     = {A Scalable Formal Method for Design and Automatic Checking
               of User Interfaces},
  booktitle = {ICSE},
  year      = {2001},
  pages     = {453-462},
  crossref  = {DBLP:conf/icse/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icse/2001,
  title     = {Proceedings of the 23rd International Conference on Software
               Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario,
               Canada},
  booktitle = {ICSE},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1050-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}