Scalable Certification for Typed Assembly Language (2000)

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