View in EDS PDF Full Text

Verifying Programs Using Abstraction and Theorem Proving.

Saved in:
Bibliographic Details
Title: Verifying Programs Using Abstraction and Theorem Proving.
Authors: Junyan Qian1, qjy2000@gliet.edu.cn, Baowen Xu2, bwxu@seu.edu.cn
Source: International MultiConference of Engineers & Computer Scientists 2007 (Volume 1); 2007, p1044-1049, 6p, 1 Chart
Database: Applied Science & Technology Source
Description
ISBN:9789889867140