Cita APA (7a ed.)

Yin, Y., & Jiang, B. (2023). Embedded software system testing: Automatic testing solution based on formal method (1st.). CRC Press.

Cita Chicago Style (17a ed.)

Yin, Yongfeng, y Bo Jiang. Embedded Software System Testing: Automatic Testing Solution Based on Formal Method. 1st. Boca Raton: CRC Press, 2023.

Cita MLA (9a ed.)

Yin, Yongfeng, y Bo Jiang. Embedded Software System Testing: Automatic Testing Solution Based on Formal Method. 1st. CRC Press, 2023.