Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam. Hoare-style logic for unstructured programs. J. Log. Algebr. Meth. Program., 149:101099, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.