swMATH32371MaRDI QIDQ44082
No author found.
Source code repository: https://github.com/facebook/infer