Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

Alberto Pettorossi (Editor), Giorgio Delzanno, Sandro Etalle

    Research output: Contribution to conference › Paper › peer-review

    5 Citations (Scopus)
    138 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols'. Together they form a unique fingerprint.