@ARTICLE{
author={Milutinovic Jovan,Milic Petar O,Prlincevic Bojan P,Milosavljevic Bojana},
year={2026},
title={A Formal Verification Model for Assessing the Reliability of Software Metrics in Scripting Languages},
journal={ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING},
volume={26},
number={2},
pages={99-112},
document_type={Article},
} 

