Suggested Topics within your search.
Showing 1 - 2 results of 2 for search '"Coq (software)"', query time: 1.19s Refine Results
  1. 1
    A formalization of elliptic curves for cryptography
    by Bartzia, Evmorfia-Iro
    Published 2017
    Subjects: “...Coq (software)...”
    Get full text
  2. 2
    Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant
    Published 2013
    Open Access: DOAB: description of the publication
    Open Access: DOAB, download the publication
    eBook
Search Tools: Get RSS Feed — Email this Search