Login / Signup

Relational inductive shape analysis.

Bor-Yuh Evan ChangXavier Rival
Published in: POPL (2008)
Keyphrases