Search Results - Hobor, Aquinas

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Program logics for certified compilers. by Appel, Andrew W., 1960-, Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

    Published 2014
    Book

    Save to List
    Saved in:

Search Tools: