scientific article

From MaRDI portal

Publication:3988818

Jump to:navigation, search

zbMath0741.68076MaRDI QIDQ3988818

No author found.

Publication date: 28 June 1992

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

zbMATH Keywords

coverings biscalar schemes characterization theorem for \(D\)-schemes minimal schemes

Mathematics Subject Classification ID

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

Related Items

A generalized mathematical theory of structured programming ⋮ Weak equivalence in a class of structured program schemes

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