Tille, Daniel. (Nombre personal)

Machine generated authority record.

Work cat.: (MX-SnUAN)310501: Drechsler, Rolf. autor 302301, Test Pattern Generation using Boolean Proof Engines /