Citation
Armando Solar-Lezama. "Computer Aided Programming". Talk or presentation, 19, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA.

Abstract
(No abstract.)

Electronic downloads

• Solar-Lezama-1.pdf · application/pdf · 976 kbytes

• HTML

  Armando Solar-Lezama. <a
  href="http://chess.eecs.berkeley.edu/pubs/697.html"
  ><i>Computer Aided Programming</i></a>,
  Talk or presentation,  19, August, 2010; Presented at the
  <a
  href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/index.htm">Strategic
  Directions in Software at Scale (SaS)</a>, Berkeley,
  CA.

• Plain text

  Armando Solar-Lezama. "Computer Aided
  Programming". Talk or presentation,  19, August, 2010;
  Presented at the <a
  href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/index.htm">Strategic
  Directions in Software at Scale (SaS)</a>, Berkeley,
  CA.

• BibTeX

  @presentation{SolarLezama10_ComputerAidedProgramming,
      author = {Armando Solar-Lezama},
      title = {Computer Aided Programming},
      day = {19},
      month = {August},
      year = {2010},
      note = {Presented at the <a
                href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/index.htm">Strategic
                Directions in Software at Scale (SaS)</a>,
                Berkeley, CA},
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/697.html}
  }
  

Posted by Mary Stewart on 31 Aug 2010.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.