Kroening, D., & Strichman, O. (2017). Decision Procedures. Springer.
استشهاد بنمط شيكاغوKroening, Daniel, و Ofer Strichman. Decision Procedures. Springer, 2017.
MLA استشهادKroening, Daniel, و Ofer Strichman. Decision Procedures. Springer, 2017.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.