Autori: Subotic Pavle
| 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 | Web of Science Članak Elečas Rang časopisa |
     |
