scientific article; zbMATH DE number 1418818

zbMath0941.68635MaRDI QIDQ4942100

No author found.

Publication date: 2 April 2000

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Related Items

Specification of abstract dynamic-data types: A temporal logic approach