Ulka Shrotri, R. Venkatesh, Ravindra Metta. Proving unreachability using bounded model checking. In Srinivas Padmanabhuni, Sanjeev K. Aggarwal, Umesh Bellur, editors, Proceeding of the 3rd Annual India Software Engineering Conference, ISEC 2010, Mysore, India, February 25-27, 2010. pages 73-82, ACM, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.