USTC-Yale Joint Research Center for High-Confidence Software

Contains the keyword concurrent program safety