Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.