Anurag Jain, B. D. Chaudhary. A Use Case Driven Formal Approach to Check Consistency between UI Requirement and Implementation. In IEEE Reglon 10 Colloquium and Third International Conference on Industrial and Information Systems, ICIIS 2008, Kharagpur, India, December 8-10, 2008. pages 1-6, IEEE, 2008. [doi]
Abstract is missing.