Login / Signup

Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs.

Yuma MatsumotoNaoki KobayashiHiroshi Unno
Published in: APLAS (2015)
Keyphrases