External Links

Cite Key

Statistics

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

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.

    Proof Tactics for Assertions in Separation Logic

    Zhe Hou, David Sanán, Alwen Tiu, Yang Liu. Proof Tactics for Assertions in Separation Logic. In Mauricio Ayala-Rincón, César A. Muñoz, editors, Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings. Volume 10499 of Lecture Notes in Computer Science, pages 285-303, Springer, 2017. [doi]

    Authors

    Zhe Hou

    This author has not been identified. Look up 'Zhe Hou' in Google

    David Sanán

    This author has not been identified. Look up 'David Sanán' in Google

    Alwen Tiu

    This author has not been identified. Look up 'Alwen Tiu' in Google

    Yang Liu

    This author has not been identified. Look up 'Yang Liu' in Google
    runs on