Autori: Vujosevic-Janicic Milena M
| Naslov | Development and Evaluation of LAV: An SMT-Based Error Finding Platform System Description (Proceedings Paper) |
| Autori | Vujosevic-Janicic Milena M Kuncak Viktor |
| Info | VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, (2012), vol. 7152 br. , str. 98-113 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
     |
| Naslov | Ensuring safe usage of buffers in programming language C (Proceedings Paper) |
| Autori | Vujosevic-Janicic Milena M |
| Info | ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL PL/DPS/KE, (2008), vol. br. , str. 29-36 |
| Ispravka | Web of Science Citati: Web of Science |
|
|
| Naslov | Random kappa-GD-SAT model and its phase transition (Article) |
| Autori | Vujosevic-Janicic Milena M Tomasevic Jelena Janicic Predrag 
|
| Info | JOURNAL OF UNIVERSAL COMPUTER SCIENCE, (2007), vol. 13 br. 4 , Suppl. , str. 572 -591 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
|
|
