Nr. 2 (2002): RS-2 A Simple Correctness Proof of the Direct-Style Transformation

Publiceret: 2002-01-02

Artikler