Login / Signup

Using Dependent Types to Certify the Safety of Assembly Code.

Matthew HarrenGeorge C. Necula
Published in: SAS (2005)
Keyphrases
  • source code
  • multiscale
  • databases
  • database
  • database systems