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.

    QED at Large: A Survey of Engineering of Formally Verified Software

    Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock. QED at Large: A Survey of Engineering of Formally Verified Software. Foundations and Trends in Programming Languages, 5(2-3):102-281, 2019. [doi]

    Authors

    Talia Ringer

    This author has not been identified. Look up 'Talia Ringer' in Google

    Karl Palmskog

    This author has not been identified. Look up 'Karl Palmskog' in Google

    Ilya Sergey

    This author has not been identified. Look up 'Ilya Sergey' in Google

    Milos Gligoric

    This author has not been identified. Look up 'Milos Gligoric' in Google

    Zachary Tatlock

    This author has not been identified. Look up 'Zachary Tatlock' in Google
    runs on