scientific article; zbMATH DE number 1929964

zbMath1014.68100MaRDI QIDQ4708599

Donald Sannella, Patrícia D. L. Machado

Publication date: 18 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2420/24200506.htm

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (2)

Proof-guided test selection from first-order specifications with equality ⋮ Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms

Uses Software

• Unnamed Item

This page was built for publication: