Tilbage til artikeldetaljer
Logical Specification of Operational Semantics
Download
Download PDF