DMCA

Translation validation for a verified OS kernel (2013)

by Thomas Sewell , Magnus Myreen , Gerwin Klein
Venue:In PLDI 2013. ACM
Citations:18 - 7 self