scientific article; zbMATH DE number 1418817

zbMath0941.68636MaRDI QIDQ4942099

Pierre-Yves Schobbens

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 (2)

On behavioural abstraction and behavioural satisfaction in higher-order logic ⋮ On behavioural abstraction and behavioural satisfaction in higher-order logic

Uses Software

• Unnamed Item

This page was built for publication: