Dataset for "Towards Generating SPARK from Event-B Models"
收藏DataCite Commons2021-01-21 更新2025-04-17 收录
下载链接：
http://eprints.soton.ac.uk/id/eprint/446107
下载链接
链接失效反馈官方服务：
资源简介：
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.
提供机构：
University of Southampton
创建时间：
2021-01-21
