in Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023 in FTfJP@ECOOP
Pages: 32-38 (6)
Conference
25Th Acm International Workshop on Formal Techniques for Java-Like Programs, Ftfjp 2023, Co-Located with Ecoop and Issta 2023, Date: 18 July 2023, Location: Seattle