Login / Signup

Dependent Types for Program Termination Verification.

Hongwei Xi
Published in: LICS (2001)
Keyphrases