Direct Implementation of Algebraic Specification of Abstract Data Types
From MaRDI portal
Publication:3923583
DOI10.1109/TSE.1982.234770zbMath0469.68028WikidataQ111898482 ScholiaQ111898482MaRDI QIDQ3923583
Publication date: 1982
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
This page was built for publication: Direct Implementation of Algebraic Specification of Abstract Data Types