Verifying Programs Using Abstraction and Theorem Proving. - Junyan Qian; Baowen Xu (International MultiConference of Engineers & Computer Scientists 2007 (Volume 1), 2007)