Loading...
conference paper
Boolean Algebra of Shape Analysis Constraints
2004
Verification, Model Checking and Abstract Interpretation
Type
conference paper
Author(s)
Date Issued
2004
Journal
Verification, Model Checking and Abstract Interpretation
Start page
59
End page
72
Written at
OTHER
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record