DMCA

Computationally Sound Mechanized Proofs of Correspondence Assertions (2007)

Cached

Download Links

by Bruno Blanchet
Citations:24 - 7 self