Automated Technology for Verification and Analysis

MLA

Artho, Axel Legay, and Doron Peled. Automated Technology for Verification and Analysis. Springer International Publishing, 2016.

APA

Artho, A., Legay, A., & Peled, D. (2016). Automated Technology for Verification and Analysis. Springer International Publishing.

Chicago

Artho, Axel Legay, and Doron Peled. Automated Technology for Verification and Analysis. : Springer International Publishing, 2016.