Verifying Relational Properties using Trace Logic | Publicación