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

Publiceret: 1996-06-22

Artikler