Drozd, J., Drozd, A. and Sulima, J. 2014. NATURAL RESOURCES AND THEIR USE FOR CHECKABILITY INCREASING THE DIGITAL COMPONENTS OF SAFETY-CRITICAL SYSTEMS. International Journal of Computing. 11, 3 (Aug. 2014), 293-301. DOI:https://doi.org/10.47839/ijc.11.3.573.