Dyck, Johannes profile picture

Dyck, Johannes

Is this your author profile? Create an account to customize it!

Stand Alone

Automatic verification of behavior preservation at the transformation level for relational model transformation