Login / Signup

Dependent Types for Program Termination Verification.

Hongwei Xi
Published in: High. Order Symb. Comput. (2002)
Keyphrases