Hierarchical Verification in Maude of L

Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi

Browse the full ECSA paper archive.