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

Alberto Pettorossi (Editor), Giorgio Delzanno, Sandro Etalle

    Research output: Contribution to conferencePaperAcademicpeer-review

    5 Citations (Scopus)
    106 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.