RailGround using Theory plug-in
收藏数据链接：
官方服务：
资源简介：
This dataset is associated with the following paper - Thai Son Hoang, Colin Snook, Dana Dghaym, and Michael Butler. Class-Diagrams for Abstract Data Types. In Hung Dang Van and Deepak Kapur, editors, *ICTAC2017: International Colloquium on Theoretical Aspects of Computing, Hanoi, Vietnam, October 23-27, Proceedings*, Lecture Notes in Computer Science, Springer, 2017 The Rodin platform archive *RailGround_Theory.zip* contains the development of the RailGround using Event-B and Theory Plug-in. The configuration for the Rodin platform can be found in the README.md file.
创建时间：
2017-07-11
