"Sharing Ghost Variables in a Collection of Abstract Domains."

Marc Chevalier, Jérôme Feret (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics