Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics.

Roberto Ciuni, Thomas Macaulay Ferguson, Damin Szmuc

Browse the full WoLLIC paper archive.