scientific article

zbMath0464.68019MaRDI QIDQ3916003

No author found.

Publication date: 1981

Full work available at URL: https://eudml.org/doc/92134

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

zbMATH Keywords

partial correctnessprogram treesstructured program schemes

Mathematics Subject Classification ID

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

Related Items

Fundamental properties of infinite trees