*banner
 

Source Code Verification and Testing
Flavio Lerda, Edmund M. Clarke

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess