scientific article

zbMATH Open0988.68110MaRDI QIDQ2767007

Sławomir Lasota

Publication date: 22 July 2002

Title of this publication is not available (Why is that?)

zbMATH Keywords

algebraic specificationsregular algebrasobservational equivalencebehavioural constructor implementationproofs of behavioural properties

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767007)