%0 Conference Paper %1 conf/sac/Lamari07 %A Lamari, Maher %B SAC %D 2007 %E Cho, Yookun %E Wainwright, Roger L. %E Haddad, Hisham %E Shin, Sung Y. %E Koo, Yong Wan %I ACM %K dblp %P 998-1005 %T Towards an automated test generation for the verification of model transformations. %U http://dblp.uni-trier.de/db/conf/sac/sac2007.html#Lamari07 %@ 1-59593-480-4

@inproceedings{conf/sac/Lamari07, added-at = {2018-11-06T00:00:00.000+0100}, author = {Lamari, Maher}, biburl = {https://www.bibsonomy.org/bibtex/227bb859d778683e3064a7176df25a3bc/dblp}, booktitle = {SAC}, crossref = {conf/sac/2007}, editor = {Cho, Yookun and Wainwright, Roger L. and Haddad, Hisham and Shin, Sung Y. and Koo, Yong Wan}, ee = {https://doi.org/10.1145/1244002.1244220}, interhash = {40a3aa7222de9bf0464c3b2894ed5d57}, intrahash = {27bb859d778683e3064a7176df25a3bc}, isbn = {1-59593-480-4}, keywords = {dblp}, pages = {998-1005}, publisher = {ACM}, timestamp = {2019-06-04T12:58:07.000+0200}, title = {Towards an automated test generation for the verification of model transformations.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2007.html#Lamari07}, year = 2007 }