Verified Translation Validation of Static Analyses | Publicación