APA Citation

Kroening, D., & Strichman, O. (2017). Decision Procedures. Springer.

Chicago Style Citation

Kroening, Daniel, and Ofer Strichman. Decision Procedures. Springer, 2017.

MLA Citation

Kroening, Daniel, and Ofer Strichman. Decision Procedures. Springer, 2017.

Warning: These citations may not always be 100% accurate.