DMCA

A logic of interactive proofs (formal theory of knowledge transfer (2012)

Cached

Download Links

by Simon Kramer
Citations:3 - 2 self