Publication:4813007
From MaRDI portal
zbMath1068.68656MaRDI QIDQ4813007
József Kovács, Wolfgang Schreiner, Gábor Kusper, Robert Lovas
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2400/24000113.htm
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items