Historia: Refuting Callback Reachability with Message-History Logics Journal Article
Overview
publication date
- October 1, 2023
has restriction
- gold
Date in CU Experts
- October 17, 2023 6:33 AM
Full Author List
- Meier S; Mover S; Kaki G; Chang B-YE
author count
- 4
citation count
- 0
published in
Other Profiles
Electronic International Standard Serial Number (EISSN)
- 2475-1421
Digital Object Identifier (DOI)
Additional Document Info
volume
- 7
issue
- OOPSLA
number
- ARTN 289