How to Prove that a Circuit is Fault-Free?

Raimund Ubar, Sergei Kostin, Jaan Raik

Browse the full DSD paper archive.