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.

Requirement Analysis and Automated Verification: A Semantic Approach

Animesh Dutta, Prajna Devi Upadhyay, Sudipta Acharya. Requirement Analysis and Automated Verification: A Semantic Approach. In Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012. pages 51-54, Knowledge Systems Institute Graduate School, 2012.

Authors

Animesh Dutta

This author has not been identified. Look up 'Animesh Dutta' in Google

Prajna Devi Upadhyay

This author has not been identified. Look up 'Prajna Devi Upadhyay' in Google

Sudipta Acharya

This author has not been identified. Look up 'Sudipta Acharya' in Google
runs on