Ram Chatterjee, Kalpana Johari. A Simplified and Corroborative Approach towards Formalization of Requirements. In Sanjay Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Cho-Li Wang, editors, Contemporary Computing - Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I. Volume 94 of Communications in Computer and Information Science, pages 486-496, Springer, 2010. [doi]
Abstract is missing.