Sanjit A. Seshia
Sanjit Seshia

Citation
Sanjit Seshia. "Sanjit A. Seshia". Talk or presentation, 29, January, 2013; Presented at the TerraSwarm Kickoff, Berkeley.

Abstract
(No abstract.)

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Sanjit Seshia. <a
  href="http://www.terraswarm.org/pubs/22.html"><i>Sanjit
  A. Seshia</i></a>, Talk or presentation,  29,
  January, 2013; Presented at the <a
  href="http://www.terraswarm.org/conferences/13/kickoff/"
  >TerraSwarm Kickoff</a>, Berkeley.

• Plain text

  Sanjit Seshia. "Sanjit A. Seshia". Talk or
  presentation,  29, January, 2013; Presented at the <a
  href="http://www.terraswarm.org/conferences/13/kickoff/"
  >TerraSwarm Kickoff</a>, Berkeley.

• BibTeX

  @presentation{Seshia13_SanjitASeshia,
      author = {Sanjit Seshia},
      title = {Sanjit A. Seshia},
      day = {29},
      month = {January},
      year = {2013},
      note = {Presented at the <a
                href="http://www.terraswarm.org/conferences/13/kickoff/"
                >TerraSwarm Kickoff</a>, Berkeley.},
      abstract = {(No abstract.)},
      URL = {http://terraswarm.org/pubs/22.html}
  }
  

Posted by Christopher Brooks on 29 Jan 2013.