Searching for authors named Yan Mei Tang – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Effect Systems with Subtyping
- …Effect Systems with Subtyping Yan Mei Tang Pierre Jouvelot Centre de Recherche en Informatique…
- Cited by 8 (0 self) – Add To MetaCart
-
Separate Abstract Interpretation for Control-Flow Analysis
- …Separate Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI…
- Cited by 23 (3 self) – Add To MetaCart
-
Verification of Copy-Protection Cryptographic Protocol using Approximations of Term Rewriting Systems
- … Thomas Genet Yan-Mei Tang-Talpin y Valerie Viet Triem Tong IRISA / Universite de Rennes 1 y…
- Add To MetaCart
Showing 1 through 3.
