Formalization of the development process
From MaRDI portal
This paper is concerned with methodologies of formalized software development. In particular are treated techniques for developing correct designs, their verification and optimization. For the entire collection see [Zbl 0973.68002].
This page was built for publication: Formalization of the development process
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4702604)
