DBLP Record 'conf/inforsid/HabriasA04'

BibTeX

@inproceedings{DBLP:conf/inforsid/HabriasA04,
  author    = {Henri Habrias and
               Pascal Andr{\'e}},
  title     = {Pr{\'e}condition et invariant - l'{\'e}criture de
               contraintes mal adapt{\'e}es {\`a} un paradigme de
               sp{\'e}cification},
  booktitle = {INFORSID},
  year      = {2004},
  pages     = {387-403},
  crossref  = {DBLP:conf/inforsid/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/inforsid/2004,
  title     = {Actes du XXII{\`e}me Congr{\`e}s INFORSID, Biarritz,
               France, 25-28 mai, 2004},
  year      = {2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}