Preface
Other text in scientific journal, 2019
Author
José Júlio Alferes
Nova University of Lisbon
Moa Johansson
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 11372 LNCS V-VISubject Categories
Information Science
Computer Science
Computer Systems