@proceedings{DBLP:conf/ftfjp/2024,
  editor       = {Luca Di Stefano},
  title        = {Proceedings of the 26th {ACM} International Workshop on Formal Techniques
                  for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September
                  2024},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3678721},
  doi          = {10.1145/3678721},
  isbn         = {979-8-4007-1111-4},
  timestamp    = {Thu, 10 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftfjp/2024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"fgTzsAGnjQBXQEHaj","bibbaseid":"stefano-proceedingsofthe26thacminternationalworkshoponformaltechniquesforjavalikeprogramsftfjp2024viennaaustria20september2024-2024","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Luca","Di"],"propositions":[],"lastnames":["Stefano"],"suffixes":[]}],"title":"Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September 2024","publisher":"ACM","year":"2024","url":"https://doi.org/10.1145/3678721","doi":"10.1145/3678721","isbn":"979-8-4007-1111-4","timestamp":"Thu, 10 Oct 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/ftfjp/2024.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/ftfjp/2024,\n editor = {Luca Di Stefano},\n title = {Proceedings of the 26th {ACM} International Workshop on Formal Techniques\n for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September\n 2024},\n publisher = {{ACM}},\n year = {2024},\n url = {https://doi.org/10.1145/3678721},\n doi = {10.1145/3678721},\n isbn = {979-8-4007-1111-4},\n timestamp = {Thu, 10 Oct 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ftfjp/2024.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Stefano, L. D."],"key":"DBLP:conf/ftfjp/2024","id":"DBLP:conf/ftfjp/2024","bibbaseid":"stefano-proceedingsofthe26thacminternationalworkshoponformaltechniquesforjavalikeprogramsftfjp2024viennaaustria20september2024-2024","role":"editor","urls":{"Paper":"https://doi.org/10.1145/3678721"},"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"https://dblp.uni-trier.de/pid/215/9758.bib","dataSources":["qKSww8Y3LjH72bFAJ"],"keywords":[],"search_terms":["proceedings","26th","acm","international","workshop","formal","techniques","java","programs","ftfjp","2024","vienna","austria","september","2024"],"title":"Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September 2024","year":2024}