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]
Abstract is missing.