Drechsler, R., Eggersglüß, S., Fey, G., & Tille, D. (2009). Test Pattern Generation using Boolean Proof Engines (1st ed. 2009.). Dordrecht: Springer Netherlands : Imprint: Springer.
Chicago Style CitationDrechsler, Rolf., Stephan Eggersglüß, Görschwin Fey, and Daniel Tille. Test Pattern Generation Using Boolean Proof Engines. 1st ed. 2009. Dordrecht: Springer Netherlands : Imprint: Springer, 2009.
MLA CitationDrechsler, Rolf., Stephan Eggersglüß, Görschwin Fey, and Daniel Tille. Test Pattern Generation Using Boolean Proof Engines. 1st ed. 2009. Dordrecht: Springer Netherlands : Imprint: Springer, 2009.
Warning: These citations may not always be 100% accurate.