Kupusinac A, Malbaški D. Automatic Verification of Inheritance. Int J Ind Eng Manag [Internet]. 2011 Dec. 30 [cited 2024 Nov. 22];2(4):139-43. Available from: http://sp.ftn.uns.ac.rs/index.php/ijiem/article/view/346