file-path:: ../assets/TOSEM-2023-0413_Proof_hi_1700816710550_0.pdf

- file:: [TOSEM-2023-0413_Proof_hi_1700816710550_0.pdf](../assets/TOSEM-2023-0413_Proof_hi_1700816710550_0.pdf)
  file-path:: ../assets/TOSEM-2023-0413_Proof_hi_1700816710550_0.pdf