View in EDS PDF Full Text

Verifying Temporal Heap Properties Specified via Evolution Logic.

Saved in:
Bibliographic Details
Title: Verifying Temporal Heap Properties Specified via Evolution Logic.
Authors: Yahav, E.1, yahave@post.tau.ac.il, Reps, T.2, reps@cs.wisc.edu, Sagiv, M.1, msagiv@post.tau.ac.il, Wilhelm, R.3, wilhelm@cs.uni-sb.de
Source: Logic Journal of the IGPL; Oct2006, Vol. 14 Issue 5, p755-783, 29p
Database: Applied Science & Technology Source
Description
ISSN:13670751
DOI:10.1093/jigpal/jzl009