Login / Signup

Abductive Inference for Reasoning about Heaps.

Dino Distefano
Published in: APLAS (2008)
Keyphrases