View in EDS

Modular Verification of Software Components in C.

Saved in:
Bibliographic Details
Title: Modular Verification of Software Components in C.
Authors: Chaki, Sagar, Clarke, Edmund M., Groce, Alex
Source: IEEE Transactions on Software Engineering; Jun2004, Vol. 30 Issue 6, p388-402, 15p
Database: Applied Science & Technology Source
Description
ISSN:00985589
DOI:10.1109/TSE.2004.22