Major

2025-06-05 21:28:30 +02:00
parent 819f6a0cb3
commit 23edf6d6ab
6304 changed files with 466 additions and 708478 deletions
@@ -1,21 +0,0 @@
-
-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