logseq/pages/hls__TOSEM-2024-0012_Proof_hi_1706122892823_0.md

file:: TOSEM-2024-0012_Proof_hi_1706122892823_0.pdf file-path:: ../assets/TOSEM-2024-0012_Proof_hi_1706122892823_0.pdf

• tion framework (DD ls-type:: annotation hl-page:: 6 hl-color:: yellow id:: 660290ad-4267-4d0d-b85a-569fe2ce5094
• 114115116117118119120121122123124125126 ls-type:: annotation hl-page:: 6 hl-color:: yellow id:: 660290d2-7ba6-4f79-a3e0-240076eb6b9c
• [:span] ls-type:: annotation hl-page:: 6 hl-color:: yellow id:: 660290dc-028d-4b1b-a328-93b640898da5 hl-type:: area hl-stamp:: 1711444187912