AmeurBGGJ04'

BibTeX

@inproceedings{DBLP:conf/ifip13/AmeurBGGJ04,
  author    = {Yamine A\"{\i}t Ameur and
               Benoit Brehol{\'e}e and
               Patrick Girard and
               Laurent Guittet and
               Francis Jambon},
  title     = {Formal Verification and Validation of Interactive Systems
               Specifications},
  booktitle = {Human Error, Safety and Systems Development},
  year      = {2004},
  pages     = {61-76},
  crossref  = {DBLP:conf/ifip13/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifip13/2004,
  editor    = {Chris W. Johnson and
               Philippe A. Palanque},
  title     = {Human Error, Safety and Systems Development, IFIP 18th World
               Computer Congress, TC13 / WG13.5 7th Working Conference
               on Human Error, Safety and Systems Development, 22-27 August
               2004, Toulouse, France},
  booktitle = {Human Error, Safety and Systems Development},
  publisher = {Kluwer},
  year      = {2004},
  isbn      = {1-4020-8152-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}