Publication:2702605

From MaRDI portal
Revision as of 12:03, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath0972.68042MaRDI QIDQ2702605

Johann Schumann, Gregor Snelting, Bernd Fischer

Publication date: 6 November 2001



68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

68N99: Theory of software



Uses Software