MaRDI QIDQ53393swMATHFDO
Official website https://dl.acm.org/doi/abs/10.1145/3194113.3194115
This page was built for software: SmartCheck