Certifying machine code safety: Shallow versus deep embedding (2004)

by Martin Wildmoser , Tobias Nipkow
Venue:IN TPHOLS, NUMBER 3223 IN LNCS
Citations:21 - 3 self