BibTeX record conf/cav/AngelisFPP14

download as .bib file

@inproceedings{DBLP:conf/cav/AngelisFPP14,
  author    = {Emanuele {De Angelis} and
               Fabio Fioravanti and
               Alberto Pettorossi and
               Maurizio Proietti},
  title     = {Program Verification using Constraint Handling Rules and Array Constraint
               Generalizations},
  booktitle = {{VPT} 2014. Second International Workshop on Verification and Program
               Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
               an event of the Vienna Summer of Logic 2014 and it is co-located with
               the 26th International Conference on Computer Aided Verification {CAV}
               2014},
  pages     = {3--18},
  year      = {2014},
  crossref  = {DBLP:conf/cav/2014vpt},
  url       = {http://www.easychair.org/publications/paper/184768},
  timestamp = {Tue, 25 Jul 2017 11:35:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/AngelisFPP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2014vpt,
  editor    = {Alexei Lisitsa and
               Andrei P. Nemytykh},
  title     = {{VPT} 2014. Second International Workshop on Verification and Program
               Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
               an event of the Vienna Summer of Logic 2014 and it is co-located with
               the 26th International Conference on Computer Aided Verification {CAV}
               2014},
  series    = {EPiC Series in Computing},
  volume    = {28},
  publisher = {EasyChair},
  year      = {2014},
  url       = {http://www.easychair.org/publications/?page=2047288174},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2014vpt},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier