The Strong Object Invariant Journal title: TEM JOURNAL Authors: Dusan Malbaski, Aleksandar Kupusinac Subject(s): Computer and Information Science, Education, Technology, Management
Formalization of the General Hoare Logic Laws Journal title: TEM JOURNAL Authors: Aleksandar Kupusinac, Dusan Malbaski Subject(s): Computer and Information Science, Education, Technology, Management
Training Difficulties in Deductive Methods of Verification and Synthesis of Program Journal title: International Journal of Advanced Computer Science & Applications Authors: Magdalina Todorova, Daniela Orozova Subject(s):
