Automated Technology for Verification and Analysis

MLA

Finkbeiner, Geguang Pu, and Lijun Zhang. Automated Technology for Verification and Analysis. Springer International Publishing, 2015.

APA

Finkbeiner, F., Pu, G., & Zhang, L. (2015). Automated Technology for Verification and Analysis. Springer International Publishing.

Chicago

Finkbeiner, Geguang Pu, and Lijun Zhang. Automated Technology for Verification and Analysis. : Springer International Publishing, 2015.