A safety simulation analysis algorithm for Altarica language

Wenru Wang, Xiaohua Shi, Xinghai Lu. A safety simulation analysis algorithm for Altarica language. Concurrency - Practice and Experience, 33(7):1, 2021. [doi]

Abstract

Abstract is missing.