BackMatter.

Autor: Eggersglüß, Stephan, Drechsler, Rolf
Zdroj: High Quality Test Pattern Generation & Boolean Satisfiability; 2012, p183-193, 11p
Databáze: Complementary Index