Application of Formal Analysis Techniques for Monolithic Application Source Code Analysis

ASFA PRAVEEN; SHAMIMUL QAMAR; SHAHANAWAJ AHAMAD Ph.D. (Computer Sc.) Research Scholar; Faculty of Science &amp; Technology; Shri Venkateshwara University; Gajraula; (U.P.); India Professor of Electronics &amp; Computer Engineering; Noida Institute of Engineering &amp; Technology; Greater Noida; (U.P.); India &nbsp; Assistant Professor; Dept. of Comp. Sc. &amp; Software Engg; College of Computer Sc. &amp; Engineering; University of Ha’il; K.S.A &nbsp;

← Back to VOLUME 2, ISSUE 3, MARCH 2013

Application of Formal Analysis Techniques for Monolithic Application Source Code Analysis

ASFA PRAVEEN, SHAMIMUL QAMAR, SHAHANAWAJ AHAMAD Ph.D. (Computer Sc.) Research Scholar, Faculty of Science & Technology, Shri Venkateshwara University, Gajraula, (U.P.), India Professor of Electronics & Computer Engineering, Noida Institute of Engineering & Technology, Greater Noida, (U.P.), India   Assistant Professor, Dept. of Comp. Sc. & Software Engg, College of Computer Sc. & Engineering, University of Ha’il, K.S.A  

Downloads: Download PDF

How to Cite:

[1] ASFA PRAVEEN, SHAMIMUL QAMAR, SHAHANAWAJ AHAMAD Ph.D. (Computer Sc.) Research Scholar, Faculty of Science & Technology, Shri Venkateshwara University, Gajraula, (U.P.), India Professor of Electronics & Computer Engineering, Noida Institute of Engineering & Technology, Greater Noida, (U.P.), India   Assistant Professor, Dept. of Comp. Sc. & Software Engg, College of Computer Sc. & Engineering, University of Ha’il, K.S.A  , “Application of Formal Analysis Techniques for Monolithic Application Source Code Analysis,” International Journal of Advanced Research in Computer and Communication Engineering (IJARCCE)