Tilbage til artikeldetaljer
Combining Algebraic and Set-Theoretic Specifications (Extended Version)
Download
Download PDF