Efficient Strongly Relational Polyhedral Analysis.

Sriram SankaranarayananMichael ColónHenny B. SipmaZohar Manna
Published in: VMCAI (2006)
Keyphrases