Tag - smart contract

Bureau Veritas et le CEA réalisent la première validation de smart contracts par preuve formelle pour la solution digitale de la startup ENGIE TEO (The Energy Origin)...