Login / Signup

Attacking Large Industrial Code with Bi-abductive Inference.

Dino Distefano
Published in: FMICS (2009)
Keyphrases