Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

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

Citace podle MLA (9th ed.)

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..