%0 Conference Paper %1 conf/ftfjp/MiljakPS23 %A Miljak, Luka %A Poulsen, Casper Bach %A van Spaendonck, Flip %B FTfJP@ECOOP %D 2023 %E Tomb, Aaron %I ACM %K dblp %P 44-50 %T Verifying Well-Typedness Preservation of Refactorings using Scope Graphs. %U http://dblp.uni-trier.de/db/conf/ftfjp/ftfjp2023.html#MiljakPS23

@inproceedings{conf/ftfjp/MiljakPS23, added-at = {2023-07-17T00:00:00.000+0200}, author = {Miljak, Luka and Poulsen, Casper Bach and van Spaendonck, Flip}, biburl = {https://www.bibsonomy.org/bibtex/2ee9912e10e9616a1dfb388f2ed86036d/dblp}, booktitle = {FTfJP@ECOOP}, crossref = {conf/ftfjp/2023}, editor = {Tomb, Aaron}, ee = {https://doi.org/10.1145/3605156.3606455}, interhash = {8bb8dc0664707f71f8b649799fa59a53}, intrahash = {ee9912e10e9616a1dfb388f2ed86036d}, keywords = {dblp}, pages = {44-50}, publisher = {ACM}, timestamp = {2024-04-09T09:45:09.000+0200}, title = {Verifying Well-Typedness Preservation of Refactorings using Scope Graphs.}, url = {http://dblp.uni-trier.de/db/conf/ftfjp/ftfjp2023.html#MiljakPS23}, year = 2023 }