scientific article; zbMATH DE number 2013195
From MaRDI portal
Publication:4436362
zbMath1030.68550MaRDI QIDQ4436362
Publication date: 4 December 2003
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) Descriptive complexity and finite models (68Q19)
Related Items (1)
This page was built for publication:
