Number of items: 1.
Conference or Workshop Item (A Paper)
Baelde, David and Delaune, Stephanie and Jacomme, Charlie and Koutsos, Adrien and Moreau, Solene
(2021)
An Interactive Prover for Protocol Verification in the Computational Model.
This list was generated on Fri Jul 26 23:17:14 2024 CEST.