Formal Verification of a Transactional Interaction Contract | IEEE Conference Publication | IEEE Xplore