@dblp

Introducing Aspect-Oriented Specification for Abstract State Machines.

, and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 174-187. Springer, (2014)

Links and resources

Tags