Customised induction rules for proving correctness of imperative programs | IEEE Conference Publication | IEEE Xplore