Vol-1293⫷ Vol-1294 ⫸Vol-1295
urn:nbn:de:0074-1294-0


Vol-1294/paper3⫷Vol-1294/paper4⫸Vol-1294/paper5
Djamel MeslatiAmina BoudjedirToufik Benouhiba

Specifying and Verifying Aspect-Oriented Systems in Rewriting Logic