Dataset for "Towards Generating SPARK from Event-B Models"
收藏官方服务：
资源简介：
Dataset supports: Sritharan, S & Hoang, TS 2020, Generating SPARK from Event-B Models. in Proceedings of the 16th International Conference on integrated Formal Methods. The 16th International Conference on integrated Formal Methods, Lugano, Switzerland, 16/11/20.
创建时间：
2021-01-21
