scientific article; zbMATH DE number 2090858

zbMath1067.68553MaRDI QIDQ4813410

Ibrahim Kolcu, P. Unnikrishnan, Guangyu Chen, Mustafa Karakoy, Mahmut Taylan Kandemir

Publication date: 13 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2694/26940383.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)