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
