Preface
Övrig text i vetenskaplig tidskrift, 2020
No abstract available
Författare
Wolfgang Ahrendt
Chalmers, Data- och informationsteknik, Formella metoder
Heike Wehrheim
Universität Paderborn
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 12165 LNCS v-viÄmneskategorier
Systemvetenskap
Datavetenskap (datalogi)
Datorsystem