Formal Verification and Security Analysis of Go-based New Simple Queue System

Zhiru Hou, Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Formal Verification and Security Analysis of Go-based New Simple Queue System'. Together they form a unique fingerprint.

Computer Science