E. Thomas SchubertBooksHigher Order Logic Theorem Proving and Its ApplicationsFormal mechanization of device interactions with a process algebraTowards composition of verified hardware devicesFormal verification of a set of memory management unitsAuthor data: Open Library