Assessment of software reliability in the support stage
From MaRDI portal
Publication:1103377
zbMath0645.68013MaRDI QIDQ1103377
S. A. Chizhov, E. Ya. Karpovskij, V. I. Novikov, L. K. Gorskij
Publication date: 1987
Published in: Programming and Computer Software (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
This page was built for publication: Assessment of software reliability in the support stage