scientific article

zbMath0970.68099MaRDI QIDQ2703751

Klaus-Dieter Schewe, Sebastian Link

Publication date: 8 May 2001

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

zbMATH Keywords

specializationprogram specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of δ-constraints

This page was built for publication: