Spectrum-Based Fault Localization for Logic-Based Reasoning.

Ingo Pill, Franz Wotawa

    Research output: Contribution to conference (No Proceedings)Paperpeer-review

    Original languageEnglish
    Pages192-199
    DOIs
    Publication statusPublished - 2018

    Cite this