Automatic proofs of properties of simple C/sup --/ modules | IEEE Conference Publication | IEEE Xplore