External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 2

PDF

Bibliographies

    Researchr

    Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

    Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

    ChocoPy v2.2: Language Manual and Reference

    Rohan Padhye, Koushik Sen, Paul Hilfnger, Rohan Padhye, Koushik Sen, Paul Hilfnger. ChocoPy v2.2: Language Manual and Reference. University of California, Berkeley, November 2019.

    Authors

    Rohan Padhye

    This author has not been identified. Look up 'Rohan Padhye' in Google

    Koushik Sen

    This author has not been identified. Look up 'Koushik Sen' in Google

    Paul Hilfnger

    This author has not been identified. Look up ' Paul Hilfnger' in Google

    Rohan Padhye

    This author has not been identified. Look up 'Rohan Padhye' in Google

    Koushik Sen

    This author has not been identified. Look up 'Koushik Sen' in Google

    Paul Hilfnger

    This author has not been identified. Look up ' Paul Hilfnger' in Google
    runs on