A mechanism for the formal description of dynamic systems
From MaRDI portal
Publication:5930827
zbMath0972.68114MaRDI QIDQ5930827
Publication date: 26 April 2001
Published in: Programming and Computer Software (Search for Journal in Brave)
68Q65: Abstract data types; algebraic specification