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.

Providing Early Warnings of Specification Problems

Dustin Hoffman, Aditi Tagore, Diego Zaccai, Bruce W. Weide. Providing Early Warnings of Specification Problems. In Julia M. Badger, Kristin Yvonne Rozier, editors, NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings. Volume 8430 of Lecture Notes in Computer Science, pages 92-97, Springer, 2014. [doi]

Authors

Dustin Hoffman

This author has not been identified. Look up 'Dustin Hoffman' in Google

Aditi Tagore

This author has not been identified. Look up 'Aditi Tagore' in Google

Diego Zaccai

This author has not been identified. Look up 'Diego Zaccai' in Google

Bruce W. Weide

This author has not been identified. Look up 'Bruce W. Weide' in Google
runs on