Publication:2702605

From MaRDI portal


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