Original language | English |
---|---|
Pages | 192-199 |
DOIs | |
Publication status | Published - 2018 |
Spectrum-Based Fault Localization for Logic-Based Reasoning.
Ingo Pill, Franz Wotawa
Research output: Contribution to conference (No Proceedings) › Paper › peer-review
Ingo Pill, Franz Wotawa
Research output: Contribution to conference (No Proceedings) › Paper › peer-review
Original language | English |
---|---|
Pages | 192-199 |
DOIs | |
Publication status | Published - 2018 |