Hoare-style logic for unstructured programs

Uloženo v:

Podrobná bibliografie
Vydáno v:	Journal of logical and algebraic methods in programming Ročník 149; s. 101099
Hlavní autoři:	Lundberg, Didrik, Guanciale, Roberto, Lindner, Andreas, Dam, Mads
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	01.03.2026
ISSN:	2352-2208
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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