Hoare-style logic for unstructured programs

Saved in:

Bibliographic Details
Published in:	Journal of logical and algebraic methods in programming Vol. 149; p. 101099
Main Authors:	Lundberg, Didrik, Guanciale, Roberto, Lindner, Andreas, Dam, Mads
Format:	Journal Article
Language:	English
Published:	01.03.2026
ISSN:	2352-2208
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
ISSN:	2352-2208
DOI:	10.1016/j.jlamp.2025.101099