Kroening, D., & Strichman, O. (2008). Decision Procedures: An Algorithmic Point of View (1st ed. 2008.). Springer Berlin Heidelberg : Imprint: Springer.
Style de citation Chicago (17e éd.)Kroening, Daniel, et Ofer Strichman. Decision Procedures: An Algorithmic Point of View. 1st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2008.
Style de citation MLA (8e éd.)Kroening, Daniel, et Ofer Strichman. Decision Procedures: An Algorithmic Point of View. 1st ed. 2008. Springer Berlin Heidelberg : Imprint: Springer, 2008.
Attention : ces citations peuvent ne pas être correctes à 100%.