Refinement Trees: Calculi, Tools, and Applications

DOI10.1007/978-3-642-22944-2_11zbMath1344.68144OpenAlexW29028223MaRDI QIDQ3090867

Mihai Codescu, Till Mossakowski

Publication date: 2 September 2011

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22944-2_11

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Uses Software

• Hets

This page was built for publication: Refinement Trees: Calculi, Tools, and Applications