The Reduced Product of Abstract Domains and the Combination of Decision Procedures.

Patrick Cousot, Radhia Cousot, Laurent Mauborgne

Browse the full FOSSACS paper archive.