Software Verification

MLA

Christakis, et al. Software Verification. Springer International Publishing, 2020.

APA

Christakis, C., Duggirala, P. Sridhar, Polikarpova, N., & Schrammel, P. (2020). Software Verification. Springer International Publishing.

Chicago

Christakis, Parasara Sridhar Duggirala, Nadia Polikarpova, and Peter Schrammel. Software Verification. : Springer International Publishing, 2020.