About this scholarly article

2012 20th Telecommunications Forum (TELFOR) - Formalization of the general rules of the Hoare logic using S-formulas by Malbaski, Dusan; Kupusinac, Aleksandar is a scholarly article available to read on EtoBox.

Author

Malbaski, Dusan; Kupusinac, Aleksandar

Publisher

IEEE

Published

2012