A Aralex Aachen research explorer

November 05, 2006 conference-paper

Interpolation for data structures

ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)

DOI: 10.1145/1181775.1181789 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 104

Quantifier Elimination and Craig Interpolation: The Quantitative Way
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

0

citations

1 result

References 0