Showing 1 - 3 results of 3 for search 'Martina Olliaro', query time: 0.02s
Refine Results
-
1
Reducing Multiple Occurrences of Meta-Mark Selection in Relational Data Watermarking by Maikel Lazaro Perez Gort, Martina Olliaro, Agostino Cortesi
Published 2022-01-01
Article -
2
-
3
Abstracting Strings for Model Checking of C Programs by Henrich Lauko, Martina Olliaro, Agostino Cortesi, Petr Roc̆kai
Published 2020-11-01
Article