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.

Correct or usable? the limits of traditional verification (impact paper award)

Daniel Jackson, Mandana Vaziri. Correct or usable? the limits of traditional verification (impact paper award). In Thomas Zimmermann 0001, Jane Cleland-Huang, Zhendong Su, editors, Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016. pages 11, ACM, 2016. [doi]

Authors

Daniel Jackson

This author has not been identified. Look up 'Daniel Jackson' in Google

Mandana Vaziri

This author has not been identified. Look up 'Mandana Vaziri' in Google
runs on