scientific article
From MaRDI portal
Publication:3886839
zbMath0443.68010MaRDI QIDQ3886839
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
stepwise refinementprogram designprogram correctnessstructured programmingsequential programsfunction semanticssequential processors
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (1)
This page was built for publication: