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 |
