The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software.

Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi

Browse the full ICFEM paper archive.