Sign in

Predicate Abstraction for Linked Data Structures.

Alexander BakstRanjit Jhala
Published in: VMCAI (2016)
Keyphrases