Publication:4438804
From MaRDI portal
zbMath1028.68512MaRDI QIDQ4438804
Tom Mens, Michel Wermelinger, Reiko Heckel
Publication date: 10 December 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2505/25050450.htm
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Unanticipated integration of development tools using the classification model, Co-evolving code and design with intensional views: a case study
Cites Work