%0 Thesis %1 phd/ethos/Bisztray10 %A Bisztray, Dénes András %D 2010 %K dblp %T Compositional verification of model-level refactorings based on graph transformations.

@phdthesis{phd/ethos/Bisztray10, added-at = {2022-05-04T00:00:00.000+0200}, author = {Bisztray, Dénes András}, biburl = {https://www.bibsonomy.org/bibtex/255953dd14581589905fc7d261818c9a1/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.517562}, interhash = {792eb2eda8bae73d2e0ba215b024d0e0}, intrahash = {55953dd14581589905fc7d261818c9a1}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Leicester, UK}, timestamp = {2024-04-09T08:51:36.000+0200}, title = {Compositional verification of model-level refactorings based on graph transformations.}, year = 2010 }