On Equality Predicates in Algebraic Specification Languages

DOI10.1007/978-3-540-75292-9_26zbMath1147.68579OpenAlexW2132503848MaRDI QIDQ3525098

Nakamura Masaki, Futatsugi Kokichi

Publication date: 17 September 2008

Published in: Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75292-9_26

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Uses Software

• AProVE

This page was built for publication: On Equality Predicates in Algebraic Specification Languages