Test Patte Generation using Boolean Proof Engines

Test Patte Generation using Boolean Proof Engines

Hardcover: 192 pages

Publisher: Springer (April 30, 2009)

Language: English

ISBN-10: 9048123593