软件学报专刊：约束求解与定理证明
约束求解与定理证明是形式化方法的两大支柱，随着对软硬件系统的可靠性要求提高，其重要性也凸显出来，硬核的基石技术。
祝贺各位发表论文的作者，也感谢各位投稿的作者（此次审稿比较严格），欢迎大家阅读，也欢迎投稿软件学报。
发布于 北京
蔡少伟