Automated Technology for Verification and Analysis

MLA

Cassez, and Jean-Francois Raskin. Automated Technology for Verification and Analysis. Springer International Publishing, 2014.

APA

Cassez, C., & Raskin, J. (2014). Automated Technology for Verification and Analysis. Springer International Publishing.

Chicago

Cassez, and Jean-Francois Raskin. Automated Technology for Verification and Analysis. : Springer International Publishing, 2014.