Suchergebnisse für "Jean Goubault-Larrecq/Barbara König"

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, Lecture Notes in Computer Science 12077 - Theoretical Computer

Jean Goubault-Larrecq/Barbara König

Springer Verlag GmbH