Automated Technology for Verification and Analysis

MLA

Zhe Hou, and Vijay Ganesh. Automated Technology for Verification and Analysis. Springer International Publishing, 2021.

APA

Zhe Hou, Z. Hou, & Ganesh, V. (2021). Automated Technology for Verification and Analysis. Springer International Publishing.

Chicago

Zhe Hou, and Vijay Ganesh. Automated Technology for Verification and Analysis. : Springer International Publishing, 2021.