Erfasste Open-Source-Repos von uwplse, sortiert nach Sternen.
Ein Framework zur formalen Verifikation von Implementierungen verteilter Systeme in Coq
