Algorithms from Relational Specifications

• 1 January 1997
• book chapter
• Published by Springer Nature
• p. 131-149
• https://doi.org/10.1007/978-3-7091-6510-2_9

Abstract

Keywords

• RELATIONAL SPECIFICATION