BibTeX record journals/entcs/RouxDG10

download as .bib file

@article{DBLP:journals/entcs/RouxDG10,
  author    = {Pierre Roux and
               Remi Delmas and
               Pierre{-}Lo{\"{\i}}c Garoche},
  title     = {{SMT-AI:} an Abstract Interpreter as Oracle for k-induction},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {267},
  number    = {2},
  pages     = {55--68},
  year      = {2010}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics