scientific article; zbMATH DE number 2100547

zbMath1088.68527MaRDI QIDQ4817001

Sibylle Schupp, Douglas Gregor

Publication date: 14 September 2004

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

zbMATH Keywords

static program analysisalgorithm specificationStandard Template Library (STL)symbolic loop analysis

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Uses Software

• STL

This page was built for publication: