Verifying Complex Properties using Symbolic Shape Analysis


Published in:
Workshop on Heap Abstraction and Verification (collocated with ETAPS)
Year:
2007
Laboratories:




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


Rate this document:

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