Certified normalization of generalized traces

Hendrik Maarand, Tarmo Uustalu. Certified normalization of generalized traces. ISSE, 15(3-4):253-265, 2019. [doi]

Abstract

Abstract is missing.