共 12 条
[2]
Gilmer J, 2017, PR MACH LEARN RES, V70
[3]
Grover A., 2016, arXiv
[5]
Nataraj L., 2011, P 8 INT S VIS CYB SE, P1, DOI [DOI 10.1145/2016904.2016908, 10.1145/2016904.2016908]
[6]
A Formal Semantics for P-Code
[J].
VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022,
2023, 13800
:111-128
[7]
Nguyen M.T., 2023, PREPRINT, DOI [10.1007/s11416-023-00505-x, DOI 10.1007/S11416-023-00505-X]
[10]
Xu K, 2018, arXiv