Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
AuthID
P-00Y-K5B
P-00Y-K5B
© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service