Deriving verification conditions and program assertions to support software inspection | IEEE Conference Publication | IEEE Xplore