Browsing by author "Shashidhar, K.C."
Now showing items 1-1 of 1
-
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations
Shashidhar, K.C.; Bruynooghe, M.; Catthoor, Francky; Janssens, Gerda (2002)
Now showing items 1-1 of 1