Victor Amaral De Sousa, Corentin Burnay, Monique Snoeck. Génération automatique de smart contracts avec B-Merode. In Selmin Nurcan, Marinette Savonnet, Thierry Grison, editors, Actes du XXXIXème Congrès INFORSID, Dijon, France, June 1-4, 2021. pages 141-142, 2021. [doi]
@inproceedings{SousaBS21,
title = {Génération automatique de smart contracts avec B-Merode},
author = {Victor Amaral De Sousa and Corentin Burnay and Monique Snoeck},
year = {2021},
url = {http://inforsid.fr/actes/2021/INFORSID_2021_p141-142.pdf},
researchr = {https://researchr.org/publication/SousaBS21},
cites = {0},
citedby = {0},
pages = {141-142},
booktitle = {Actes du XXXIXème Congrès INFORSID, Dijon, France, June 1-4, 2021},
editor = {Selmin Nurcan and Marinette Savonnet and Thierry Grison},
}