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.

Software engineering and automated deduction

Willem Visser, Nikolaj Bjørner, Natarajan Shankar. Software engineering and automated deduction. In James D. Herbsleb, Matthew B. Dwyer, editors, Proceedings of the on Future of Software Engineering, FOSE 2014, Hyderabad, India, May 31 - June 7, 2014. pages 155-166, ACM, 2014. [doi]

Abstract

Abstract is missing.

runs on