Publisher
Springer International Publishing
Reference15 articles.
1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Softw. Tools Technol. Transfer 12(6), 447–466 (2010)
3. Aspinall, D., Winterstein, D., Lüth, C., Fayyaz, A.: Proof general in eclipse: system and architecture overview. In: Burke, M.G., Orso, A., Robillard, M.P. (eds.) Proceedings of the 2006 OOPSLA Workshop on Eclipse Technology eXchange, ETX 2006, Portland, Oregon, USA, 22–23 October 2006, pp. 45–49. ACM (2006)
4. Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edn. Packt Publishing, Birmingham (2016)
5. Faithfull, A.J., Bengtson, J., Tassi, E., Tankink, C.: Coqoon - an IDE for interactive proof development in Coq. Int. J. Softw. Tools Technol. Transf. 20(2), 125–137 (2018)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献