Hoare-style logic for unstructured programs

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of logical and algebraic methods in programming Jg. 149; S. 101099
Hauptverfasser:	Lundberg, Didrik, Guanciale, Roberto, Lindner, Andreas, Dam, Mads
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	01.03.2026
ISSN:	2352-2208
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

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