Publication:2754057

From MaRDI portal


zbMath0974.68507MaRDI QIDQ2754057

Burkhart Wolff, Christoph Lüth

Publication date: 11 November 2001



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


Related Items