Early estimating the number of errors encountered during program testing Journal title: Computer Science and Mathematical Modelling Authors: Gustaw Konopacki, Kazimierz Worwa Subject(s):
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
