- Authors
- T. Yue, P. Arcaini and S. Ali
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2021
- Journal
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
- Publisher
- LNCS, Springer, Cham
- Citation key
- 15898