Gilles Barthe, Charlie Jacomme, Steve Kremer. Universal Equivalence and Majority of Probabilistic Programs over Finite Fields. ACM Trans. Comput. Log., 23(1), 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.