A data-flow approach to test multi-agent ASMs. (Formal Asp. Comput., 2011)

(untitled) - Cavarra, A