Publisher
Springer Science and Business Media LLC
Reference40 articles.
1. Abidi L, Cérin C, Evangelista S (2011) A petri-net model for the publish–subscribe paradigm and its application for the verification of the bonjourgrid middleware. 2011 IEEE international conference on services computing. IEEE, New York, pp 496–503
2. Abrial J-R (2005) The B-book—assigning programs to meanings. Cambridge University Press, Cambridge
3. Abrial J-R (2010) Modeling in Event-B: system and software engineering. Cambridge University Press, Cambridge
4. Abrial J-R (2013) From z to b and then Event-B: assigning proofs to meaningful programs. Integrated formal methods: 10th international conference, IFM 2013, Turku, Finland, 10–14 June 2013, proceedings 10. Springer, Berlin, pp 1–15
5. Abrial J-R (2018) On B and Event-B: principles, success and challenges. Abstract state machines, alloy, B, TLA, VDM, and Z: 6th international conference, ABZ 2018, Southampton, UK, 5–8 June 2018, proceedings 6. Springer, Berlin, pp 31–35