DMCA

Formalizing a JVML verifier for initialization in a theorem prover (2001)

Cached

Download Links

by Yves Bertot , Inria Sophia Antipolis
Citations:16 - 3 self