×
2023
Exploration of Reflective ASMs for Security.
[DOI]
Linjie Tong
,
Ke Xu
,
Jiarun Hu
,
Flavio Ferrarotti
,
Klaus-Dieter Schewe
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023