scientific article
From MaRDI portal
Publication:2767202
zbMath0983.68122MaRDI QIDQ2767202
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Proof-guided test selection from first-order specifications with equality ⋮ Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
This page was built for publication:
