BibTeX record conf/ecoop/AhmadiLN15

download as .bib file

@inproceedings{DBLP:conf/ecoop/AhmadiLN15,
  author    = {Reza Ahmadi and
               K. Rustan M. Leino and
               Jyrki Nummenmaa},
  title     = {Automatic verification of Dafny programs with traits},
  booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
               Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
  pages     = {4:1--4:5},
  year      = {2015},
  crossref  = {DBLP:conf/ecoop/2015ftfjp},
  url       = {https://doi.org/10.1145/2786536.2786542},
  doi       = {10.1145/2786536.2786542},
  timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/AhmadiLN15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2015ftfjp,
  editor    = {Rosemary Monahan},
  title     = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
               Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2786536},
  doi       = {10.1145/2786536},
  isbn      = {978-1-4503-3656-7},
  timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2015ftfjp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics