BidoitBGGG84'

BibTeX

@inproceedings{DBLP:conf/icse/BidoitBGGG84,
  author    = {Michel Bidoit and
               Brigitte Biebow and
               Marie-Claude Gaudel and
               Christian Gresse and
               G{\'e}rard D. Guiho},
  title     = {Exception Handling: Formal Specification and Systematic
               Program Construction},
  booktitle = {ICSE},
  year      = {1984},
  pages     = {18-29},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}