Formal Verification of SLA Transformations.

Vatche Ishakian, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury

Browse the full SERVICES paper archive.