scientific article; zbMATH DE number 1121419

zbMATH Open0889.68103MaRDI QIDQ4378146

Hartmut Ehrig, Fernando Orejas, Hans-Jörg Kreowski

Publication date: 11 June 1998

Full work available at URL: https://eudml.org/doc/44275

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

zbMATH Keywords

parameterized specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

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 Q4378146)