Verified LISP implementations on ARM, x86 and PowerPC (2009)

by M O MYREEN, M J C GORDON
Venue:In Proc. of the 22nd Intl. Conf. on Theorem Proving in Higher Order Logics (TPHOLs