Seidali Rehab, Allaoua Chaoui. TGG-based process for automating the transformation of UML models towards B specifications. IJCAET, 7(3):378-400, 2015. [doi]
@article{RehabC15,
title = {TGG-based process for automating the transformation of UML models towards B specifications},
author = {Seidali Rehab and Allaoua Chaoui},
year = {2015},
doi = {10.1504/IJCAET.2015.071299},
url = {http://dx.doi.org/10.1504/IJCAET.2015.071299},
researchr = {https://researchr.org/publication/RehabC15},
cites = {0},
citedby = {0},
journal = {IJCAET},
volume = {7},
number = {3},
pages = {378-400},
}