%0 Thesis %1 phd/ca/Selim15 %A Selim, Gehan M. K. %D 2015 %K dblp %T Formal Verification of Graph-Based Model Transformations.

@phdthesis{phd/ca/Selim15, added-at = {2022-05-04T00:00:00.000+0200}, author = {Selim, Gehan M. K.}, biburl = {https://www.bibsonomy.org/bibtex/2f50a891b250c1299bd47bc57d98994a8/dblp}, ee = {https://hdl.handle.net/1974/13142}, interhash = {f405a79cd5d89ffc30f2976c842473c1}, intrahash = {f50a891b250c1299bd47bc57d98994a8}, keywords = {dblp}, school = {Queen's University at Kingston, Ontario, Canada}, timestamp = {2024-04-09T09:28:17.000+0200}, title = {Formal Verification of Graph-Based Model Transformations.}, year = 2015 }