DMCA
Computationally Sound Mechanized Proofs of Correspondence Assertions (2007)
Cached
Download Links
- [www.di.ens.fr]
- [prosecco.gforge.inria.fr]
- DBLP
Other Repositories/Bibliography
by
Bruno Blanchet
Citations: | 24 - 7 self |