Dual-Contrastive Dual-Consistency Dual-Transformer: A Semi-Supervised Approach to Medical Image Segmentation | IEEE Conference Publication | IEEE Xplore