Loading...
Thumbnail Image
report

On Verifying Complex Properties using Symbolic Shape Analysis

Wies, Thomas
•
Kuncak, Viktor  
•
Zee, Karen
Show more
2006
Loading...
Thumbnail Image
Name

WiesETAL06VerifyingComplexPropertiesSymbolicShapeAnalysis.pdf

Access type

openaccess

Size

222.08 KB

Format

Adobe PDF

Checksum (MD5)

8a4e9eeb993149dc1e075cebbf7d0ce8