Kroening, D., & Strichman, O. (2016). Decision Procedures: An Algorithmic Point of View (2nd ed. 2016.). Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style (17th ed.) CitationKroening, Daniel, and Ofer Strichman. Decision Procedures: An Algorithmic Point of View. 2nd ed. 2016. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2016.
MLA (8th ed.) CitationKroening, Daniel, and Ofer Strichman. Decision Procedures: An Algorithmic Point of View. 2nd ed. 2016. Springer Berlin Heidelberg : Imprint: Springer, 2016.
Warning: These citations may not always be 100% accurate.
