*banner
 

Computer Aided Programming
Armando Solar-Lezama

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

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

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