Behavioural specification for hierarchical object composition
From MaRDI portal
Publication:2571203
DOI10.1016/j.tcs.2005.06.015zbMath1077.68055MaRDI QIDQ2571203
Publication date: 1 November 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2005.06.015
68Q65: Abstract data types; algebraic specification
Uses Software
Cites Work