Browsing eNauka
Browsing by Author Arslanagic, Alen
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2023 | Bit-Vector Typestate Analysis | Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A | Article | 22M22 |
| 2022 | Scalable Typestate Analysis for Low-Latency Environments | Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A | Conference Paper | Mp. category will be shown later |