Automated verification of model transformations based on visual contracts. Guerra, E., Lara, J., d., & Wimmer, M. Automated Software …, 2013.
bibtex   
@article{
 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  …}
}

Downloads: 0