INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING & APPLICATIONS

International journal of software engineering & Applications

Manju Nanda, J Jayanthi, Madan V, Intelligent Knowledge Database (IKD) for formal methods, 2012, International journal of software engineering & Applications (IJSEA, Vol.3, No.6,11,DOI:10.5121/ijsea.2012.3609