Approach to the construction of algebraic models of algorithms and programs
From MaRDI portal
Publication:1364100
DOI10.1007/BF02366576zbMath0883.68092MaRDI QIDQ1364100
S. V. Surzhko, E. L. Yushchenko
Publication date: 24 August 1997
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
68Q65: Abstract data types; algebraic specification
Cites Work