No. 52 (1996): RS-52 Combining Algebraic and Set-Theoretic Specifications (Extended Version)

Published: 1996-06-22

Articles