Formal models of ARM processors in HOL Download pdf Tags: University of Cambridge National CPS PI Meeting 2010 Presentation Academia HCSS '10 HCSS 2010 License: CC-2.5 Submitted by Anonymous on Sun, 08/07/2011 - 09:02