Union Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis

Cătălin Hriţcu

Saarland University, 2011.

( BibTeX )