Affine Modeling of Program Traces | Publicación