scientific article; zbMATH DE number 1973214
From MaRDI portal
Publication:4421867
zbMath1017.68031MaRDI QIDQ4421867
Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
Publication date: 1 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2042/20420001.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication:
