Verifiable C: Proving Functional Correctness of C Programs in Coq, e.g. SHA-256 and HMAC

Namesort iconValue
MIME typeapplication/pdf
Size1.82 MB