Albert H. Carlson, Shivanjali Khare, Indira Kalyan Dutta, Bhaskar Ghosh, Michael W. Totaro. Space Selection and Abstraction in Set Theoretic Estimation. In 12th IEEE Annual Computing and Communication Workshop and Conference, CCWC 2022, Las Vegas, NV, USA, January 26-29, 2022. pages 12-20, IEEE, 2022. [doi]
Abstract is missing.