Login / Signup

Model Checking Higher-Order Programs.

Naoki Kobayashi
Published in: J. ACM (2013)
Keyphrases