Scalable Certification for Typed Assembly Language (2000)

by Dan Grossman , Greg Morrisett
Citations:16 - 1 self