Person. Jon Aytac ORCID · 0000-0002-9734-5747 Papers A Nominal Approach to Probabilistic Separation Logic li-2024-aLICS · 2024 DOI · arXiv