Lennart Beringer

Lennart Beringer

1 books in the database

Books

Program Logics for Certified CompilersAndrew Appel

Program Logics for Certified Compilers

Lennart Beringer: books and biography | booktheque