On Verifying Complex Properties using Symbolic Shape Analysis


Year:
2006
Note:
MPI-I-2006-2-1 (Max-Planck Institute for Computer Science)
Laboratories:




 Record created 2007-08-21, last modified 2018-03-17

n/a:
Download fulltextPDF
External link:
Download fulltextURL
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)