scientific article; zbMATH DE number 1956567
From MaRDI portal
Publication:4417907
zbMath1032.68059MaRDI QIDQ4417907
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2618/26180399.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)
This page was built for publication: