High Quality Test Pattern Generation and Boolean Satisfiability

MLA

Eggersglüß, Stephan, and Rolf Drechsler. High Quality Test Pattern Generation and Boolean Satisfiability. Dordrecht: Springer US, 2012.

APA

Eggersglüß, S., & Drechsler, R. (2012). High Quality Test Pattern Generation and Boolean Satisfiability. Dordrecht: Springer US.

Chicago

Eggersglüß, Stephan, and Rolf Drechsler. High Quality Test Pattern Generation and Boolean Satisfiability. Dordrecht: Springer US, 2012.