- Authors
- T. Yue, S. Ali, P. Arcaini, F. Ishikawa and C. Â. G. Gomes
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2022
- Journal
- 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
- Publisher
- LNCS
- Citation key
- 16783