Documents Savoirs Symbolic methods for testing digital circuits [Elektronische Ressource] / by Martin Keim Martin Keim