Cita APA

Drechsler, R., Eggersglüß, S., Fey, G., & Tille, D. (2009). Test Pattern Generation using Boolean Proof Engines (1st ed. 2009.). Dordrecht: Springer Netherlands : Imprint: Springer.

Citación estilo Chicago

Drechsler, Rolf., Stephan Eggersglüß, Görschwin Fey, y Daniel Tille. Test Pattern Generation Using Boolean Proof Engines. 1st ed. 2009. Dordrecht: Springer Netherlands : Imprint: Springer, 2009.

Cita MLA

Drechsler, Rolf., Stephan Eggersglüß, Görschwin Fey, y Daniel Tille. Test Pattern Generation Using Boolean Proof Engines. 1st ed. 2009. Dordrecht: Springer Netherlands : Imprint: Springer, 2009.