Publication:4647643
From MaRDI portal
zbMath1252.68026MaRDI QIDQ4647643
Publication date: 7 November 2012
Full work available at URL: http://edoc.ub.uni-muenchen.de/13929/
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items