Vol-1529⫷ Vol-1530 ⫸Vol-1531
urn:nbn:de:0074-1530-0


Vol-1530/paper4⫷Vol-1530/paper5⫸Vol-1530/paper6
Markus StumptnerMuzaffar IgamberdievGeorg Grossmann

Verification of the CD2RDBMS Transformation Case in Flora-2