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

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