Verifying programs in the Calculus of Inductive Constructions (1997)

Cached

Download Links

by Catherine Parent-vigouroux
Citations:6 - 0 self