Skip to main content

Data Flow Analysis and Testing of Abstract State Machines

Alessandra Cavarra

Book Title
Abstract State Machines‚ B and Z‚ First International Conference‚ ABZ 2008‚ London‚ UK‚ September 16−18‚ 2008. Proceedings
Editor
Egon Börger and Michael J. Butler and Jonathan P. Bowen and Paul Boca
ISBN
978−3−540−87602−1
Pages
85−97
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5238
Year
2008