Refinement Composition Logic
Crossref DOI link: https://doi.org/10.1145/3674645
Published Online: 2024-08-15
Published Print: 2024-08-15
Update policy: https://doi.org/10.1145/crossmark-policy
Song, Youngju https://orcid.org/0000-0001-7093-3824
Lee, Dongjae https://orcid.org/0000-0003-2576-1220
Version of Record valid from 2024-08-15
Publication History
Received: 2024-02-28
Accepted: 2024-06-18
Published: 2024-08-15
