Tofan, B., Schellhorn, G., Ernst, G., Pfahler, J., & Reif, W. (2014). Compositional Verification of a Lock-Free Stack with RGITL. Electronic Communications of the EASST, 66. https://doi.org/10.14279/tuj.eceasst.66.885