A Two-Phase Static Analysis for Reliable Adaptation.

Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

Browse the full SEFM paper archive.