Automated Deduction – CADE-23

MLA

Bjørner, Nikolaj, Takeo Kanade, and Viorica Sofronie-Stokkermans. Automated Deduction – Cade-23. Springer Berlin Heidelberg, 2011.

APA

Bjørner, N., Kanade, T., & Sofronie-Stokkermans, V. (2011). Automated Deduction – CADE-23. Springer Berlin Heidelberg.

Chicago

Bjørner, Nikolaj, Takeo Kanade, and Viorica Sofronie-Stokkermans. Automated Deduction – CADE-23. : Springer Berlin Heidelberg, 2011.