Cavarra, A. (2008). Data Flow Analysis and Testing of Abstract State Machines. Springer.
Citação do estilo Chicago (17ª ed.)Cavarra, A. Data Flow Analysis and Testing of Abstract State Machines. Springer, 2008.
Citação MLA (9ª ed.)Cavarra, A. Data Flow Analysis and Testing of Abstract State Machines. Springer, 2008.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.