Login / Signup

Whale: An Interpolation-Based Algorithm for Inter-procedural Verification.

Aws AlbarghouthiArie GurfinkelMarsha Chechik
Published in: VMCAI (2012)
Keyphrases