View Document Preview and Link Document Date: 2012-08-31 17:30:31 Open Document File Size: 174,51 KB Share Result on Facebook
City Berlin / Orsay / London / Hertfordshire / / Company Prentice-Hall / Prentice Hall International (UK) Ltd. / / Country United Kingdom / France / Serbia / / / Facility University of Novi Sad / / IndustryTerm uncomplicated mathematical tools / mathematical proving tools / / Organization Aleksandar Kupusinac Institution / University of Novi Sad / Faculty of Technical Sciences / Ministry of Science and Education of the Republic of Serbia / / Person Dusan Malbaski / / Position General / Assistant / Corresponding author / / PublishedMedium Theoretical Computer Science / / TVShow Q.E.D. / Q.E.D. 4 / Q.E.D. 3 / / Technology virtual machine / / SocialTag 
Formalization of the General Hoare Logic Laws Aleksandar Kupusinac 1, Dusan Malbaski 1 1