Showing 1 - 1 results of 1 for search 'Philipoom, Jade (Jade D.)', query time: 0.02s Refine Results
  1. 1
    Correct-by-construction finite field arithmetic in Coq

    Correct-by-construction finite field arithmetic in Coq by Philipoom, Jade (Jade D.)

    Published 2018
    Get full text
    Thesis

Search Tools: