*banner
 

Synthesis of r Provably-correct Software using Discrete Control Theory
Yin Wang

Citation
Yin Wang. "Synthesis of r Provably-correct Software using Discrete Control Theory". Talk or presentation, 18, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA. .

Abstract
(No abstract.)

Electronic downloads

  • Wang.pdf · application/pdf · 501 kbytes
Citation formats  
  • HTML
    Yin Wang. <a
    href="http://chess.eecs.berkeley.edu/pubs/690.html"
    ><i>Synthesis of r Provably-correct Software using
    Discrete Control Theory</i></a>, Talk or
    presentation,  18, 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
    Yin Wang. "Synthesis of r Provably-correct Software
    using Discrete Control Theory". Talk or presentation, 
    18, 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{Wang10_SynthesisOfRProvablycorrectSoftwareUsingDiscreteControl,
        author = {Yin Wang},
        title = {Synthesis of r Provably-correct Software using
                  Discrete Control Theory},
        day = {18},
        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/690.html}
    }
    

Posted by Mary Stewart on 24 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