Vol-2650⫷ Vol-2651 ⫸Vol-2652
urn:nbn:de:0074-2651-0


Vol-2651/paper8⫷Vol-2651/paper9⫸Vol-2651/paper10

Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs