{"_id":"obLyoauiDNq6a5yZi","bibbaseid":"guerra-lara-wimmer-automatedverificationofmodeltransformationsbasedonvisualcontracts-2013","downloads":0,"creationDate":"2015-03-19T12:05:43.705Z","title":"Automated verification of model transformations based on visual contracts","author_short":["Guerra, E.","Lara, J., d.","Wimmer, M."],"year":2013,"bibtype":"article","biburl":null,"bibdata":{"id":"036c7811-e521-3e3b-a36e-4ce23224504e","title":"Automated verification of model transformations based on visual contracts","type":"article","year":"2013","created":"2014-11-04T17:13:43.000Z","websites":"http://link.springer.com/article/10.1007/s10515-012-0102-y","accessed":"2014-10-29","file_attached":false,"profile_id":"6b46cd49-f8a1-3799-91ac-6861cf9a050e","group_id":"f76fdab6-f3b3-324f-8ded-1f7ff6220077","last_modified":"2014-11-12T15:47:25.000Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"bibtype":"article","author":"Guerra, E and Lara, J de and Wimmer, M","journal":"Automated Software …","bibtex":"@article{\n id = {036c7811-e521-3e3b-a36e-4ce23224504e},\n title = {Automated verification of model transformations based on visual contracts},\n type = {article},\n year = {2013},\n created = {2014-11-04T17:13:43.000Z},\n websites = {http://link.springer.com/article/10.1007/s10515-012-0102-y},\n accessed = {2014-10-29},\n file_attached = {false},\n profile_id = {6b46cd49-f8a1-3799-91ac-6861cf9a050e},\n group_id = {f76fdab6-f3b3-324f-8ded-1f7ff6220077},\n last_modified = {2014-11-12T15:47:25.000Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n bibtype = {article},\n author = {Guerra, E and Lara, J de and Wimmer, M},\n journal = {Automated Software …}\n}","author_short":["Guerra, E.","Lara, J., d.","Wimmer, M."],"bibbaseid":"guerra-lara-wimmer-automatedverificationofmodeltransformationsbasedonvisualcontracts-2013","role":"author","urls":{},"downloads":0},"search_terms":["automated","verification","model","transformations","based","visual","contracts","guerra","lara","wimmer"],"keywords":[],"authorIDs":[]}