BibTeX record conf/sas/CousotC91

• > Home > conf/sas/CousotC91

@inproceedings{DBLP:conf/sas/CousotC91,
  author       = {Patrick Cousot and
                  Radhia Cousot},
  editor       = {Michel Billaud and
                  Pierre Cast{\'{e}}ran and
                  Marc{-}Michel Corsini and
                  Kaninda Musumbu and
                  Antoine Rauzy},
  title        = {Relational Abstract Interpretation of Higher Order Functional Programs
                  (extended abstract)},
  booktitle    = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
                  de Recherche en Informatique (LaBRI), Proceedings},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {33--36},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991},
  timestamp    = {Thu, 12 Jul 2018 08:27:32 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/CousotC91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}