Publication:3832544
From MaRDI portal
zbMath0677.03020MaRDI QIDQ3832544
Publication date: 1988
03B70: Logic in computer science
68Q65: Abstract data types; algebraic specification
68N25: Theory of operating systems
Related Items