Closed kappuchino closed 4 years ago
Archive.org Link instead: https://web.archive.org/web/20160410132241/http://www.cypherpunks.to/~peter/04_verif_techniques.pdf
Surprised by this; I changed to an archive link earlier. Is it still broken for you?
Archive.org Link instead: https://web.archive.org/web/20160410132241/http://www.cypherpunks.to/~peter/04_verif_techniques.pdf