scientific article

From MaRDI portal

Revision as of 09:58, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3725522

Jump to:navigation, search

zbMath0594.68012MaRDI QIDQ3725522

Gheorghe Ştefănescu

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

iteration feedback correctness algebraic semantics program transformations repetition flowchart schemes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Condition/decision duality and the internal logic of extensive restriction categories ⋮ Classes of finite relations as initial abstract data types. I

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3725522&oldid=17232001"