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


Vol-1530/paper2⫷Vol-1530/paper3⫸Vol-1530/paper4

Verifying SimpleGT Transformations Using an Intermediate Verification Language