Autori: Naudziuniene Daiva
| Naslov | Towards Logic-Based Verification of JavaScript Programs (Proceedings Paper) |
| Autori | Santos Jose Fragoso Gardner Philippa Maksimovic Petar Naudziuniene Daiva |
| Info | AUTOMATED DEDUCTION - CADE 26, (2017), vol. 10395 br. , str. 8-25 |
| Projekat | EPSRC Programme Grant REMS: Rigorous Engineering for Mainstream Systems [EP/K008528/1]; Department of Computing in Imperial College London; EPSRC DTA award; Serbian Ministry of Education and Science through the Mathematical Institute of Serbian Academy of |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
