Skip to main content

Inter−agent Data Flow Analysis of Abstract State Machines

Alessandra Cavarra

Book Title
20th Australian Software Engineering Conference (ASWEC 2009)‚ 14−17 April 2009‚ Gold Cost‚ Australia
ISBN
978−0−7695−3599−9
Pages
237−245
Publisher
IEEE Computer Society
Year
2009