Preface
Other text in scientific journal, 2020
Author
Wolfgang Ahrendt
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Heike Wehrheim
Padernborn University
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-viSubject Categories
Information Science
Computer Science
Computer Systems