Fiche d'une revue

FATES/RV'06: Formal Approaches to TESting/Runtime Verification52336