| Home > Publications > Reports > Informatics (CW) |
CW 401
K.C. Shashidhar, Maurice Bruynooghe, Francky Catthoor and Gerda Janssens
Automatic verification of source code transformations on array-intensive programs: demonstration with real-life examples
Abstract
report.pdf (125K) / mailto: M. Bruynooghe
