Publication

Boolean Algebra of Shape Analysis Constraints