Formalization of the general rules of the Hoare logic using S-formulas
Get full text
Conference Proceeding
General aspects of the as prescribed analysis of invariants in the class
Kupusinac, A., Malbaski, D.
Published in 2011 19thTelecommunications Forum (TELFOR) Proceedings of Papers (01.11.2011)
Published in 2011 19thTelecommunications Forum (TELFOR) Proceedings of Papers (01.11.2011)
Get full text
Conference Proceeding
An algorithm for the automatic verification of inheritance
Kupusinac, A., Malbaski, D.
Published in 2011 19thTelecommunications Forum (TELFOR) Proceedings of Papers (01.11.2011)
Published in 2011 19thTelecommunications Forum (TELFOR) Proceedings of Papers (01.11.2011)
Get full text
Conference Proceeding
Automatic inference of invariants in objects with variable structure
Malbaski, D., Kupusinac, A.
Published in 2011 19thTelecommunications Forum (TELFOR) Proceedings of Papers (01.11.2011)
Published in 2011 19thTelecommunications Forum (TELFOR) Proceedings of Papers (01.11.2011)
Get full text
Conference Proceeding