
cover from: Google Books
Foundations of software science and computation structures : 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings
Jean Goubault-Larrecq, Barbara König (eds.).
2020
329352
isbn:9783030452315|isbn:303045231X|isbn:9783030452308