Author:
Rahli Vincent,Vukotic Ivana,Völp Marcus,Esteves-Verissimo Paulo
Publisher
Springer International Publishing
Reference86 articles.
1. Abrial, J.-R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Abrial, J.-R., Butler, M.J., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6), 447–466 (2010)
3. Lecture Notes in Computer Science;A Anand,2015
4. Lecture Notes in Computer Science;MB Andriamiarina,2014
5. Async. https://janestreet.github.io/guide-async.html
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献