Citation
Matthew Harren, George Necula. "Verifying Safety Properties in Assembly Code". Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.

Abstract
(No abstract.)

Electronic downloads

• matth-Chess06.ppt · application/vnd.ms-powerpoint · 473 kbytes

• HTML

  Matthew Harren, George Necula. <a
  href="http://chess.eecs.berkeley.edu/pubs/32.html"
  ><i>Verifying Safety Properties in Assembly
  Code</i></a>, Talk or presentation,  23,
  February, 2006; Presented in conjunction with BEARS 2006.

• Plain text

  Matthew Harren, George Necula. "Verifying Safety
  Properties in Assembly Code". Talk or presentation, 
  23, February, 2006; Presented in conjunction with BEARS 2006.

• BibTeX

  @presentation{HarrenNecula06_VerifyingSafetyPropertiesInAssemblyCode,
      author = {Matthew Harren and George Necula},
      title = {Verifying Safety Properties in Assembly Code},
      day = {23},
      month = {February},
      year = {2006},
      note = {Presented in conjunction with BEARS 2006.},
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/32.html}
  }
  

Posted by Jonathan Sprinkle on 27 Feb 2006.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.