scientific article

zbMath0621.68002MaRDI QIDQ3757372

E. A. Kaz'Mina, V. A. Kuklyaeva, Sergey A. Abramov

Publication date: 1986

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

zbMATH Keywords

weakest pre-conditionsemantics of incorrect data

Mathematics Subject Classification ID

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

This page was built for publication: