Cite
Type-based Enforcement of Infinitary Trace Properties for Java
MLA
Erbatur, Serdar, et al. Type-Based Enforcement of Infinitary Trace Properties for Java. 2021. EBSCOhost, https://doi.org/10.1145/3479394.3479413.
APA
Erbatur, S., Schöpp, U., & Xu, C. (2021). Type-based Enforcement of Infinitary Trace Properties for Java. https://doi.org/10.1145/3479394.3479413
Chicago
Erbatur, Serdar, Ulrich Schöpp, and Chuangjie Xu. 2021. “Type-Based Enforcement of Infinitary Trace Properties for Java.” doi:10.1145/3479394.3479413.