Specification of Conditions for Error Diagnostics

Christof Efkemann, Tobias Hartmann. Specification of Conditions for Error Diagnostics. Electronic Notes in Theoretical Computer Science, 217:97-112, 2008. [doi]

Abstract

Abstract is missing.