Login / Signup

Model-Checking Higher-Order Programs with Recursive Types.

Naoki KobayashiAtsushi Igarashi
Published in: ESOP (2013)
Keyphrases