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.
Abstract is missing.