21 lines
599 B
Markdown
21 lines
599 B
Markdown
-
|
|
file:: [TOSEM-2024-0012_Proof_hi_1706122892823_0.pdf](../assets/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 |