Scalable Certification for Typed Assembly Language (2000)

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