Publication:4702594
From MaRDI portal
zbMath0945.68130MaRDI QIDQ4702594
Publication date: 24 November 1999
68Q65: Abstract data types; algebraic specification
Related Items
Service Specification and Matchmaking Using Description Logic, On institutions for modular coalgebraic specifications., Constructor-based observational logic