Falk Howar, Malte Mues. Can We Trust Theorem Provers for Industrial AI?. IEEE Software, 38(6):104-108, 2021. [doi]
@article{HowarMM21, title = {Can We Trust Theorem Provers for Industrial AI?}, author = {Falk Howar and Malte Mues}, year = {2021}, doi = {10.1109/MS.2021.3103448}, url = {https://doi.org/10.1109/MS.2021.3103448}, researchr = {https://researchr.org/publication/HowarMM21}, cites = {0}, citedby = {0}, journal = {IEEE Software}, volume = {38}, number = {6}, pages = {104-108}, }