Partha Pratim Chakrabarti. Approaches to Design Intent Verification. In IEEE Reglon 10 Colloquium and Third International Conference on Industrial and Information Systems, ICIIS 2008, Kharagpur, India, December 8-10, 2008. pages 1, IEEE, 2008. [doi]
Abstract is missing.