Login / Signup

A CLP Method for Compositional and Intermittent Predicate Abstraction.

Joxan JaffarAndrew E. SantosaRazvan Voicu
Published in: VMCAI (2006)
Keyphrases