%0 Conference Paper %1 conf/isola/AbusdalKPS22 %A Abusdal, Ole Jørgen %A Kamburjan, Eduard %A Pun, Violet Ka I %A Stolz, Volker %B ISoLA (2) %D 2022 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 259-280 %T A Notion of Equivalence for Refactorings with Abstract Execution. %U http://dblp.uni-trier.de/db/conf/isola/isola2022-2.html#AbusdalKPS22 %V 13702 %@ 978-3-031-19756-7

@inproceedings{conf/isola/AbusdalKPS22, added-at = {2022-12-05T00:00:00.000+0100}, author = {Abusdal, Ole Jørgen and Kamburjan, Eduard and Pun, Violet Ka I and Stolz, Volker}, biburl = {https://www.bibsonomy.org/bibtex/2fadb680566ddc292815980d3bd0884b9/dblp}, booktitle = {ISoLA (2)}, crossref = {conf/isola/2022-2}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-031-19756-7_15}, interhash = {097f16af8f812fdb9ed3122a439a2542}, intrahash = {fadb680566ddc292815980d3bd0884b9}, isbn = {978-3-031-19756-7}, keywords = {dblp}, pages = {259-280}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:11:47.000+0200}, title = {A Notion of Equivalence for Refactorings with Abstract Execution.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2022-2.html#AbusdalKPS22}, volume = 13702, year = 2022 }