Publication:4471720
From MaRDI portal
zbMath1043.68539MaRDI QIDQ4471720
Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes
Publication date: 30 July 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2267/22670201.htm
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items