Skip to content

Formal Validation of Transformation Schemata.

Mattias Waldau

VenueCLOPSTR
Year1991
ProceedingsLOPSTR

Browse the full LOPSTR paper archive.