Dor Minzer wins 2022 Presburger Award

Thu, 06/16/2022

See https://eatcs.org/index.php/component/content/article/1-news/2914-presburger-award-2022-laudatio-for-dor-minzer