%0 Journal Article %1 journals/jss/CabotCGL10 %A Cabot, Jordi %A Clarisó, Robert %A Guerra, Esther %A de Lara, Juan %D 2010 %J J. Syst. Softw. %K dblp %N 2 %P 283-302 %T Verification and validation of declarative model-to-model transformations through invariants. %U http://dblp.uni-trier.de/db/journals/jss/jss83.html#CabotCGL10 %V 83

@article{journals/jss/CabotCGL10, added-at = {2020-02-24T00:00:00.000+0100}, author = {Cabot, Jordi and Clarisó, Robert and Guerra, Esther and de Lara, Juan}, biburl = {https://www.bibsonomy.org/bibtex/205cc4cb11f97ff00cc49b704c822b98b/dblp}, ee = {https://www.wikidata.org/entity/Q57594285}, interhash = {bf6a4ff1d03beea6ad344d80df46611d}, intrahash = {05cc4cb11f97ff00cc49b704c822b98b}, journal = {J. Syst. Softw.}, keywords = {dblp}, number = 2, pages = {283-302}, timestamp = {2020-02-25T13:41:12.000+0100}, title = {Verification and validation of declarative model-to-model transformations through invariants.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss83.html#CabotCGL10}, volume = 83, year = 2010 }