Hoare-Style Logic for Unstructured Programs.

Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam

Browse the full SEFM paper archive.