Tilbage til artikeldetaljer
The Use of Sorts in Algebraic Specifications
Download
Download PDF