%0 Journal Article %1 gorp_08_transformation %A Gorp, Van P. %A Schippers, H. %A Demeyer, Serge %A Janssens, Dirk %D 2008 %J Information and Software Technology %K 2008 model_transformation teaching formal_methods %N 12 %P 1295--1304 %R http://dx.doi.org/10.1016/j.infsof.2008.03.003 %T Transformation Techniques can make Students excited about Formal Methods %U http://dx.doi.org/10.1016/j.infsof.2008.03.003 %V 50

@article{gorp_08_transformation, added-at = {2009-02-11T20:14:01.000+0100}, author = {Gorp, Van P. and Schippers, H. and Demeyer, Serge and Janssens, Dirk}, biburl = {https://www.bibsonomy.org/bibtex/2d887381892d51d2b5eb43e640f9462d6/leonardo}, citeulike-article-id = {2667787}, doi = {http://dx.doi.org/10.1016/j.infsof.2008.03.003}, interhash = {e52f18e4be16e8ed2580d9403b308188}, intrahash = {d887381892d51d2b5eb43e640f9462d6}, journal = {Information and Software Technology}, keywords = {2008 model_transformation teaching formal_methods}, month = {November}, number = 12, pages = {1295--1304}, posted-at = {2008-04-14 14:38:24}, priority = {5}, timestamp = {2009-02-11T20:14:01.000+0100}, title = {Transformation Techniques can make Students excited about Formal Methods}, url = {http://dx.doi.org/10.1016/j.infsof.2008.03.003}, volume = 50, year = 2008 }