Parallel Refinement for Multi-Threaded Program Verification | IEEE Conference Publication | IEEE Xplore