APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.