Decision Procedures

MLA

Kroening, and Ofer Strichman. Decision Procedures. Springer Berlin Heidelberg, 2016.

APA

Kroening, K., & Strichman, O. (2016). Decision Procedures. Springer Berlin Heidelberg.

Chicago

Kroening, and Ofer Strichman. Decision Procedures. : Springer Berlin Heidelberg, 2016.