Abstraction of Syntax.

Vijay Victor D'Silva, Daniel Kroening

Browse the full VMCAI paper archive.