zbMath0972.68114MaRDI QIDQ5930827
A. V. Zamulin
Publication date: 26 April 2001 Published in: Programming and Computer Software (Search for Journal in Brave)
zbMATH Keywords
formal specification of program systems
Mathematics Subject Classification ID
Abstract data types; algebraic specification (68Q65)