Multi-valued Expression Analysis for Collective Checking.

Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Patrick Carribault

Browse the full EuroPar paper archive.