%0 Journal Article %1 journals/fac/HamiazPTC16 %A Hamiaz, Mounira Kezadri %A Pantel, Marc %A Thirioux, Xavier %A Combemale, Benoît %D 2016 %J Formal Asp. Comput. %K dblp %N 3 %P 409-440 %T Correct-by-construction model driven engineering composition operators. %U http://dblp.uni-trier.de/db/journals/fac/fac28.html#HamiazPTC16 %V 28

@article{journals/fac/HamiazPTC16, added-at = {2016-05-11T00:00:00.000+0200}, author = {Hamiaz, Mounira Kezadri and Pantel, Marc and Thirioux, Xavier and Combemale, Benoît}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f4627c04e9b82223a6b07044f1396551/dblp}, ee = {http://dx.doi.org/10.1007/s00165-016-0354-6}, interhash = {10527ff0ba8ad37a2ff28d2047079b68}, intrahash = {f4627c04e9b82223a6b07044f1396551}, journal = {Formal Asp. Comput.}, keywords = {dblp}, number = 3, pages = {409-440}, timestamp = {2016-05-12T09:32:36.000+0200}, title = {Correct-by-construction model driven engineering composition operators.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac28.html#HamiazPTC16}, volume = 28, year = 2016 }