@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:02:16 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/AnconaDF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"QBv38mfKDYX7qDYdz","bibbaseid":"ancona-dagnino-franceschini-aformalismforspecificationofjavaapiinterfaces-2018","author_short":["Ancona, D.","Dagnino, F.","Franceschini, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Dagnino"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Franceschini"],"suffixes":[]}],"editor":[{"firstnames":["Julian"],"propositions":[],"lastnames":["Dolby"],"suffixes":[]},{"firstnames":["William","G.","J."],"propositions":[],"lastnames":["Halfond"],"suffixes":[]},{"firstnames":["Ashish"],"propositions":[],"lastnames":["Mishra"],"suffixes":[]}],"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:02:16 +0100","biburl":"https://dblp.org/rec/conf/issta/AnconaDF18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/issta/AnconaDF18,\n author = {Davide Ancona and\n Francesco Dagnino and\n Luca Franceschini},\n editor = {Julian Dolby and\n William G. J. Halfond and\n Ashish Mishra},\n title = {A formalism for specification of Java {API} interfaces},\n booktitle = {Companion Proceedings for the {ISSTA/ECOOP} 2018 Workshops, {ISSTA}\n 2018, Amsterdam, Netherlands, July 16-21, 2018},\n pages = {24--26},\n publisher = {{ACM}},\n year = {2018},\n url = {https://doi.org/10.1145/3236454.3236476},\n doi = {10.1145/3236454.3236476},\n timestamp = {Thu, 10 Jan 2019 08:02:16 +0100},\n biburl = {https://dblp.org/rec/conf/issta/AnconaDF18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ancona, D.","Dagnino, F.","Franceschini, L."],"editor_short":["Dolby, J.","Halfond, W. G. J.","Mishra, A."],"key":"DBLP:conf/issta/AnconaDF18","id":"DBLP:conf/issta/AnconaDF18","bibbaseid":"ancona-dagnino-franceschini-aformalismforspecificationofjavaapiinterfaces-2018","role":"author","urls":{"Paper":"https://doi.org/10.1145/3236454.3236476"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/190/4511.bib","dataSources":["PApvtw4YhMZn9p54y","hbmDF3mowSFP7RzLi"],"keywords":[],"search_terms":["formalism","specification","java","api","interfaces","ancona","dagnino","franceschini"],"title":"A formalism for specification of Java API interfaces","year":2018}