Correctness, explanation and intention. (English) Zbl 1457.68035
Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 62-71 (2019).
Reviewer: Haim Kilov (Millington)