External Links

Cite Key

Statistics

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

PDF

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.

The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk)

Clark Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli. The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk). In Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz, editors, Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Volume 6504 of Lecture Notes in Computer Science, pages 3, Springer, 2010. [doi]

Authors

Clark Barrett

This author has not been identified. Look up 'Clark Barrett' in Google

Leonardo Mendonça de Moura

This author has not been identified. Look up 'Leonardo Mendonça de Moura' in Google

Silvio Ranise

This author has not been identified. Look up 'Silvio Ranise' in Google

Aaron Stump

This author has not been identified. Look up 'Aaron Stump' in Google

Cesare Tinelli

This author has not been identified. Look up 'Cesare Tinelli' in Google
runs on