@inproceedings{DBLP:conf/ftfjp/Ancona0M23,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Aaron Tomb},
  title        = {Runtime Verification of Hash Code in Mutable Classes},
  booktitle    = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
                  for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
  pages        = {25--31},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3605156.3606452},
  doi          = {10.1145/3605156.3606452},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftfjp/Ancona0M23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Zm7uvtncBLL4CK46w","bibbaseid":"ancona-ferrando-mascardi-runtimeverificationofhashcodeinmutableclasses-2023","author_short":["Ancona, D.","Ferrando, A.","Mascardi, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Viviana"],"propositions":[],"lastnames":["Mascardi"],"suffixes":[]}],"editor":[{"firstnames":["Aaron"],"propositions":[],"lastnames":["Tomb"],"suffixes":[]}],"title":"Runtime Verification of Hash Code in Mutable Classes","booktitle":"Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023","pages":"25–31","publisher":"ACM","year":"2023","url":"https://doi.org/10.1145/3605156.3606452","doi":"10.1145/3605156.3606452","timestamp":"Sun, 19 Jan 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/ftfjp/Ancona0M23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ftfjp/Ancona0M23,\n author = {Davide Ancona and\n Angelo Ferrando and\n Viviana Mascardi},\n editor = {Aaron Tomb},\n title = {Runtime Verification of Hash Code in Mutable Classes},\n booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques\n for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},\n pages = {25--31},\n publisher = {{ACM}},\n year = {2023},\n url = {https://doi.org/10.1145/3605156.3606452},\n doi = {10.1145/3605156.3606452},\n timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/ftfjp/Ancona0M23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ancona, D.","Ferrando, A.","Mascardi, V."],"editor_short":["Tomb, A."],"key":"DBLP:conf/ftfjp/Ancona0M23","id":"DBLP:conf/ftfjp/Ancona0M23","bibbaseid":"ancona-ferrando-mascardi-runtimeverificationofhashcodeinmutableclasses-2023","role":"author","urls":{"Paper":"https://doi.org/10.1145/3605156.3606452"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["jkPac6coMCnfPS9v6","hbmDF3mowSFP7RzLi","X6oai84Gqtg82PfJ8","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur"],"keywords":[],"search_terms":["runtime","verification","hash","code","mutable","classes","ancona","ferrando","mascardi"],"title":"Runtime Verification of Hash Code in Mutable Classes","year":2023,"downloads":1}