Verification column

Ranko Lazic 0001. Verification column. SIGLOG News, 8(4):3, 2021. [doi]

Abstract

Abstract is missing.