Safeeullah Soomro, Abdul Baqi. Relationship between the Verification Based Model and the Functional Dependences Model Using Program Specification. In De-Shuang Huang, Xiang Zhang, Carlos A. Reyes García, Lei Zhang 0006, editors, Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010. Proceedings. Volume 6216 of Lecture Notes in Computer Science, pages 535-542, Springer, 2010. [doi]
Abstract is missing.