Autori: Arslanagic Alen
| Naslov | Bit-Vector Typestate Analysis (Article) |
| Autori | Arslanagic Alen Subotic Pavle Perez Jorge A |
| Info | FORMAL ASPECTS OF COMPUTING, (2023), vol. 35 br. 3, str. - |
| Projekat | Dutch Research Council (NWO) [016] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Scalable Typestate Analysis for Low-Latency Environments (Proceedings Paper) |
| Autori | Arslanagic Alen Subotic Pavle Perez Jorge A |
| Info | INTEGRATED FORMAL METHODS, IFM 2022, (2022), vol. 13274 br. , str. 322-340 |
| Projekat | Dutch Research Council (NWO) [016] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
