%0 Journal Article %1 journals/jot/AmraniCLSDTVC15 %A Amrani, Moussa %A Combemale, Benoît %A Lucio, Levi %A Selim, Gehan M. K. %A Dingel, Jürgen %A Traon, Yves Le %A Vangheluwe, Hans %A Cordy, James R. %D 2015 %J J. Object Technol. %K %N 3 %P 1:1-43 %T Formal Verification Techniques for Model Transformations: A Tridimensional Classification. %U http://dblp.uni-trier.de/db/journals/jot/jot14.html#AmraniCLSDTVC15 %V 14

@article{journals/jot/AmraniCLSDTVC15, added-at = {2023-12-14T15:19:52.000+0100}, author = {Amrani, Moussa and Combemale, Benoît and Lucio, Levi and Selim, Gehan M. K. and Dingel, Jürgen and Traon, Yves Le and Vangheluwe, Hans and Cordy, James R.}, biburl = {https://www.bibsonomy.org/bibtex/22cc3bfa97c2acced565b0cfb878926fb/admin}, ee = {https://doi.org/10.5381/jot.2015.14.3.a1}, interhash = {e9d93358d4c0f784a77917ac25603c12}, intrahash = {2cc3bfa97c2acced565b0cfb878926fb}, journal = {J. Object Technol.}, keywords = {}, number = 3, pages = {1:1-43}, timestamp = {2023-12-14T15:19:52.000+0100}, title = {Formal Verification Techniques for Model Transformations: A Tridimensional Classification.}, url = {http://dblp.uni-trier.de/db/journals/jot/jot14.html#AmraniCLSDTVC15}, volume = 14, year = 2015 }