scientific article; zbMATH DE number 1980916
From MaRDI portal
Publication:4428290
zbMath1023.03531MaRDI QIDQ4428290
Publication date: 15 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2514/25140036.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Computer supported mathematics with \(\Omega\)MEGA, Change Management for Heterogeneous Development Graphs
