Context

Context of Test pattern generation using boolean proof engines, Rolf Drechsler ... [et al.], (electronic book)