scientific article; zbMATH DE number 2077135
From MaRDI portal
Publication:4470520
zbMath1044.03522MaRDI QIDQ4470520
Publication date: 1 July 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
