Some inference rules for integer arithmetic for verification of flowchart programs on integers | IEEE Journals & Magazine | IEEE Xplore