DMCA

Semantics and Proofs in Isabelle/HOL (2010)

Cached

Download Links

by Ludovic Henrio , Muhammad Uzair Khan , Ludovic Henrio , Muhammad Uzair Khan , Inria Cnrs , Is Universite , Nice Sophia-antipolis