%0 Conference Paper %1 conf/ecoop/AnconaBDZ19 %A Ancona, Davide %A Barbieri, Pietro %A Dagnino, Francesco %A Zucca, Elena %B ECOOP %D 2020 %E Hirschfeld, Robert %E Pape, Tobias %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 1:1-1:28 %T Sound Regular Corecursion in coFJ. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2020.html#AnconaBDZ19 %V 166 %@ 978-3-95977-154-2

@inproceedings{conf/ecoop/AnconaBDZ19, added-at = {2020-11-16T00:00:00.000+0100}, author = {Ancona, Davide and Barbieri, Pietro and Dagnino, Francesco and Zucca, Elena}, biburl = {https://www.bibsonomy.org/bibtex/2fb2d659766d4265ccf8b8c7728102a16/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2020}, editor = {Hirschfeld, Robert and Pape, Tobias}, ee = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.1}, interhash = {d028e7ff647323f6a26864686069f3c2}, intrahash = {fb2d659766d4265ccf8b8c7728102a16}, isbn = {978-3-95977-154-2}, keywords = {dblp}, pages = {1:1-1:28}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T17:11:20.000+0200}, title = {Sound Regular Corecursion in coFJ.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2020.html#AnconaBDZ19}, volume = 166, year = 2020 }