Cavarra, A. (2008). Data Flow Analysis and Testing of Abstract State Machines. Springer.
Dyfyniad Arddull ChicagoCavarra, A. Data Flow Analysis and Testing of Abstract State Machines. Springer, 2008.
Dyfyniad MLACavarra, A. Data Flow Analysis and Testing of Abstract State Machines. Springer, 2008.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.