APA (7th ed.) Citation

Cavarra, A. (2008). Data Flow Analysis and Testing of Abstract State Machines. Springer.

Chicago Style (17th ed.) Citation

Cavarra, A. Data Flow Analysis and Testing of Abstract State Machines. Springer, 2008.

MLA (9th ed.) Citation

Cavarra, A. Data Flow Analysis and Testing of Abstract State Machines. Springer, 2008.

Warning: These citations may not always be 100% accurate.