Extending Propositional Separation Logic for Robustness Properties | Publicación