Bibtex de la publication

@Article{ Ke2016.2,
author = {Kezadri, Mounira and Pantel, Marc and Thirioux, Xavier and Combemale, Benoit},
title = "{Correct-by-construction model driven engineering composition operators}",
journal = {Formal Aspects of Computing},
publisher = {Springer},
address = {http://www.springerlink.com},
year = {2016},
volume = {28},
number = {3},
pages = {409--440},
language = {anglais},
URL = {https://doi.org/10.1007/s00165-016-0354-6}
}