A Primal-Dual Perspective on Program Verification Algorithms

Open Webpage

Takeshi Tsukada, Hiroshi Unno, Oded Padon, Sharon Shoham

Published: 01 Jan 2025, Last Modified: 25 Jul 2025Proc. ACM Program. Lang. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0