DBLP Record 'conf/apsec/LucasDGJP98'

BibTeX

@inproceedings{DBLP:conf/apsec/LucasDGJP98,
  author    = {Jean-Yves Lucas and
               Jean-Luc Dormoy and
               Bruno Ginoux and
               Claudia Jimenez-Dominguez and
               Laurent Pierre},
  title     = {How to Reconcile Formal Specifications and Automatic Programming:
               The Descartes System},
  booktitle = {APSEC},
  year      = {1998},
  pages     = {38-45},
  ee        = {http://csdl.computer.org/comp/proceedings/apsec/1998/9183/00/91830038abs.htm},
  crossref  = {DBLP:conf/apsec/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/apsec/1998,
  title     = {5th Asia-Pacific Software Engineering Conference (APSEC
               '98), 2-4 December 1998, Taipei, Taiwan, ROC},
  booktitle = {APSEC},
  publisher = {IEEE Computer Society},
  year      = {1998},
  isbn      = {0-8186-9183-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}