Deductive Diagnosis of Digital Circuits

Authors

José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Theresa Swift,