Volume 2005, 2005
- Greg O'Keefe:
Category Theory to Yoneda's Lemma.
, (Formal proof development)
- Christina Lindenberg, Kai Wirt:
SHA1, RSA, PSS and more.
, (Formal proof development)
- Gerwin Klein, Tobias Nipkow:
Jinja is not Java.
, (Formal proof development)
- Nicole Rauch, Norbert Schirmer:
Jive Data and Store Model.
, (Formal proof development)
- Mauro Jaskelioff, Stephan Merz:
Proving the Correctness of Disk Paxos.
, (Formal proof development)
- Alwen Tiu:
Formalization of a Generalized Protocol for Clock Synchronization.
, (Formal proof development)
- Clemens Ballarin:
Fast Fourier Transform.
, (Formal proof development)
- Brian Huffman:
Countable Ordinals.
, (Formal proof development)
Last update Thu May 23 18:13:40 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
