DMCA

Proof Exchange for Theorem Proving — Second (2012)

Cached

Download Links

by David Pichardie , Tjark Weber