Citation
Flavio Lerda, Edmund M. Clarke. "Source Code Verification and Testing". Talk or presentation, 6, September, 2007.

Abstract
From the HCDDES Muri Year 1 Review.

Electronic downloads

• 07Lerda_Clarke_Model_Checker_In-The-Loop_muri_review_07.ppt · download/application/vnd.ms-powe · 771 kbytes

• HTML

  Flavio Lerda, Edmund M. Clarke. <a
  href="http://chess.eecs.berkeley.edu/pubs/344.html"
  ><i>Source Code Verification and
  Testing</i></a>, Talk or presentation,  6,
  September, 2007.

• Plain text

  Flavio Lerda, Edmund M. Clarke. "Source Code
  Verification and Testing". Talk or presentation,  6,
  September, 2007.

• BibTeX

  @presentation{LerdaClarke07_SourceCodeVerificationTesting,
      author = {Flavio Lerda and Edmund M. Clarke},
      title = {Source Code Verification and Testing},
      day = {6},
      month = {September},
      year = {2007},
      abstract = {From the HCDDES Muri Year 1 Review.},
      URL = {http://chess.eecs.berkeley.edu/pubs/344.html}
  }
  

Posted by Christopher Brooks on 6 Sep 2007.
Groups: hcddes
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.