*banner
 

Synthesis for Software Security
Jeff Foster

Citation
Jeff Foster. "Synthesis for Software Security". Talk or presentation, 20, August, 2010; Presented at Strategic Directions in Software at Scale (SaS), Berkeley.

Abstract

Electronic downloads

Citation formats  
  • HTML
    Jeff Foster. <a
    href="http://chess.eecs.berkeley.edu/pubs/682.html"><i>Synthesis
    for Software Security</i></a>, Talk or
    presentation,  20, August, 2010; Presented at <a
    href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/index.htm"
    >Strategic Directions in Software at Scale
    (SaS)</a>, Berkeley.
  • Plain text
    Jeff Foster. "Synthesis for Software Security".
    Talk or presentation,  20, August, 2010; Presented at <a
    href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/index.htm"
    >Strategic Directions in Software at Scale
    (SaS)</a>, Berkeley.
  • BibTeX
    @presentation{Foster10_SynthesisForSoftwareSecurity,
        author = {Jeff Foster},
        title = {Synthesis for Software Security},
        day = {20},
        month = {August},
        year = {2010},
        note = {Presented at <a
                  href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/index.htm"
                  >Strategic Directions in Software at Scale
                  (SaS)</a>, Berkeley.},
        URL = {http://chess.eecs.berkeley.edu/pubs/682.html}
    }
    

Posted by Christopher Brooks on 20 Aug 2010.
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.

You are not logged in 
©2002-2017 Chess