Publisher
Springer Nature Switzerland
Reference92 articles.
1. Abrial, J.-R.: The Event-B Book. Cambridge University Press, Cambridge, UK (2010)
2. Armstrong, A., Gomes, V.B.F., Struth, G.: Algebraic principles for rely-guarantee style concurrency verification tools. In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014: Formal Methods, pp. 78–93. Springer International Publishing, Cham (2014). https://doi.org/10.1007/978-3-319-06410-9_6
3. Apt, K.R., Hoare, T., editors. Edsger Wybe Dijkstra: his Life, Work and Legacy. ACM (2022)
4. Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11–33 (2004)
5. Ashcroft, E.A., Manna, Z.: Formalization of properties of parallel programs. In: Meltzer, B., Michie, D., editors, Machine Intelligence, vol. 6, pp. 17–41. Edinburgh University Press (1971)