Cavarra, A. (2008). Data Flow Analysis and Testing of Abstract State Machines. Springer.
芝加哥风格引文Cavarra, A. Data Flow Analysis and Testing of Abstract State Machines. Springer, 2008.
MLA引文Cavarra, A. Data Flow Analysis and Testing of Abstract State Machines. Springer, 2008.
警告：这些引文格式不一定是100％准确.