Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy. A Tridimensional Approach for Studying the Formal Verification of Model Transformations. In Giuliano Antoniol, Antonia Bertolino, Yvan Labiche, editors, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. pages 921-928, IEEE, 2012. [doi]
@inproceedings{AmraniLSCDVTC12,
title = {A Tridimensional Approach for Studying the Formal Verification of Model Transformations},
author = {Moussa Amrani and Levi Lucio and Gehan M. K. Selim and Benoît Combemale and Jürgen Dingel and Hans Vangheluwe and Yves Le Traon and James R. Cordy},
year = {2012},
doi = {10.1109/ICST.2012.197},
url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2012.197},
researchr = {https://researchr.org/publication/AmraniLSCDVTC12},
cites = {0},
citedby = {0},
pages = {921-928},
booktitle = {2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012},
editor = {Giuliano Antoniol and Antonia Bertolino and Yvan Labiche},
publisher = {IEEE},
isbn = {978-1-4577-1906-6},
}