Ztrategic: Libraries and Tools For Software Language Specification, Transformation, and Testing.

Emanuel Rodrigues, Jos Nuno Macedo, Joo Saraiva

Browse the full SLE paper archive.