Publisher
Springer International Publishing
Reference17 articles.
1. Abrial, J.-R.: The B-Book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
2. Börger, E., Schewe, K.-D.: A behavioural theory of recursive algorithms (2019). Submitted for publication
3. Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-642-18216-7
4. Cai, C., Sun, J., Dobbie, G.: B-repair: repairing B-models using machine learning. In: 23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018), pp. 31–40. IEEE Computer Society (2018)
5. Texts and Monographs in Computer Science;EW Dijkstra,1990