Aquinas Hobor

Aquinas Hobor

1 books in the database

Books

Program Logics for Certified CompilersAndrew Appel

Program Logics for Certified Compilers

Aquinas Hobor: books and biography | booktheque