Research
Unlocking the potential of blockchain
… blockchain,” points out Sara Tucci- Piergiovanni, head of laboratory and blockchain expert at the Software and Systems … verify these programmes. The platform was developed by the Laboratory for Computer Science (LRI) which became the Formal Methods Laboratory (LMF – Univ. Paris-Saclay, CNRS, Inria, Centrale- …
Published on: