BibTeX record conf/issta/AnconaDF18

download as .bib file

@inproceedings{DBLP:conf/issta/AnconaDF18,
  author       = {Davide Ancona and
                  Francesco Dagnino and
                  Luca Franceschini},
  editor       = {Julian Dolby and
                  William G. J. Halfond and
                  Ashish Mishra},
  title        = {A formalism for specification of Java {API} interfaces},
  booktitle    = {Companion Proceedings for the {ISSTA/ECOOP} 2018 Workshops, {ISSTA}
                  2018, Amsterdam, Netherlands, July 16-21, 2018},
  pages        = {24--26},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236454.3236476},
  doi          = {10.1145/3236454.3236476},
  timestamp    = {Thu, 10 Jan 2019 08:05:33 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/AnconaDF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics