Information Exchange Between Over- and Underapproximating Software Analyses.

Jan Haltermann, Heike Wehrheim

Browse the full SEFM paper archive.