APA način citiranja

 Yin, Y. (2024). Embedded software system testing: Automatic testing solution based on formal method.  CRC Press/Taylor & Francis Group.

Čikaški stil citiranja

 Yin, Yongfeng. Embedded Software System Testing: Automatic Testing Solution Based On Formal Method.  CRC Press/Taylor & Francis Group, 2024.

MLA način citiranja

 Yin, Yongfeng. Embedded Software System Testing: Automatic Testing Solution Based On Formal Method.  CRC Press/Taylor & Francis Group, 2024.

Upozorenje: Ovi citati možda nisu uvijek 100% točni.