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