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

• sas10.pdf · application/pdf · 344 kbytes

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