Junyan Qian, Baowen Xu. Verifying Programs Using Abstraction and Theorem Proving. In Sio Iong Ao, Oscar Castillo, Craig Douglas, David Dagan Feng, Jeong-A. Lee, editors, Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, IMECS 2007, March 21-23, 2007, Hong Kong, China. Lecture Notes in Engineering and Computer Science, pages 1044-1049, Newswood Limited, 2007.
Abstract is missing.