Historia: Refuting Callback Reachability with Message-History Logics Journal Article uri icon

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

Other Profiles

Electronic International Standard Serial Number (EISSN)

  • 2475-1421

Additional Document Info

volume

  • 7

issue

  • OOPSLA

number

  • ARTN 289