Drozd J, Drozd A, Sulima J. NATURAL RESOURCES AND THEIR USE FOR CHECKABILITY INCREASING THE DIGITAL COMPONENTS OF SAFETY-CRITICAL SYSTEMS. IJC [Internet]. 2014Aug.1 [cited 2024Dec.22];11(3):293-301. Available from: https://computingonline.net/computing/article/view/573