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