%0 Conference Paper %1 conf/sbmf/SilvaSM15 %A da Silva, Tarciana Dias %A Sampaio, Augusto %A Mota, Alexandre %B SBMF %D 2015 %E Cornélio, Márcio %E Roscoe, Bill %I Springer %K %P 110-126 %T Verifying Transformations of Java Programs Using Alloy. %U http://dblp.uni-trier.de/db/conf/sbmf/sbmf2015.html#SilvaSM15 %V 9526 %@ 978-3-319-29472-8

@inproceedings{conf/sbmf/SilvaSM15, added-at = {2023-12-12T23:04:47.000+0100}, author = {da Silva, Tarciana Dias and Sampaio, Augusto and Mota, Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/2270ab90b9c78c0c3e227a73889d5983b/admin}, booktitle = {SBMF}, crossref = {conf/sbmf/2015}, editor = {Cornélio, Márcio and Roscoe, Bill}, ee = {https://doi.org/10.1007/978-3-319-29473-5_7}, interhash = {51fec3cd5c835a5d3df52b01d481e53a}, intrahash = {270ab90b9c78c0c3e227a73889d5983b}, isbn = {978-3-319-29472-8}, keywords = {}, pages = {110-126}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T23:04:47.000+0100}, title = {Verifying Transformations of Java Programs Using Alloy.}, url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2015.html#SilvaSM15}, volume = 9526, year = 2015 }