Showing 1 - 1 results of 1 for search 'Ioannidis, Eleftherios Ioannis.', query time: 0.02s Refine Results
  1. 1
    Extracting and optimizing low-level bytecode from high-level verified Coq

    Extracting and optimizing low-level bytecode from high-level verified Coq by Ioannidis, Eleftherios Ioannis.

    Published 2019
    Get full text
    Thesis

Search Tools: