Skip to main content
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Home
Academic and Research Output
Reports, Documentation, and Standards
On the Boolean Algebra of Shape Analysis Constraints
Loading...
Loading...
report
On the Boolean Algebra of Shape Analysis Constraints
Kuncak, Viktor
•
Rinard, Martin
2003
Files
Details
Metrics