PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Biondi, Fabrizio

1 paper in the PaperMetrix corpus

Publications

Papers by this author

  1. Security and Privacy of Protocols and Software with Formal Methods

    2016 · HAL (Le Centre pour la Communication Scientifique Directe)

    International audience