Login / Signup

Lazy Abstraction for Higher-Order Program Verification.

Taku Terao
Published in: PPDP (2018)
Keyphrases