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 |