Alessandra Cavarra. Inter-agent Data Flow Analysis of Abstract State Machines. In 20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Golad Cost, Australia. pages 237-245, IEEE Computer Society, 2009. [doi]
Abstract is missing.