Tilbage til artikeldetaljer
A Simple Correctness Proof of the Direct-Style Transformation
Download
Download PDF