Very abstract specifications: a formalism independent approach

DOI10.1017/S0960129597002466zbMath0916.68101OpenAlexW2016789249MaRDI QIDQ4236212

Maura Cerioli, Gianna Reggio

Publication date: 22 March 1999

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129597002466

zbMATH Keywords

hyper-loose algebraic specificationsvery abstract entities

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication: Very abstract specifications: a formalism independent approach