Preface
Introductory text in journal, 2020

No abstract available
 
 

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-vi

Subject Categories

Information Science

Computer Science

Computer Systems

More information

Latest update

8/19/2020