APA
Jones R. B., . (2002). Symbolic Simulation Methods for Industrial Formal Verification. : Springer Science & Business Media.
Chicago
Jones Robert B, . 2002. Symbolic Simulation Methods for Industrial Formal Verification. : Springer Science & Business Media.
Harvard
Jones R. B., . (2002). Symbolic Simulation Methods for Industrial Formal Verification. : Springer Science & Business Media.
MLA
Jones Robert B, . Symbolic Simulation Methods for Industrial Formal Verification. : Springer Science & Business Media. 2002.