Computer-assisted assume/guarantee reasoning with VeriSoft | IEEE Conference Publication | IEEE Xplore