Preface
Inledande text i tidskrift, 2019

Författare

José Júlio Alferes

Universidade NOVA de Lisboa

Moa Johansson

Chalmers, Data- och informationsteknik, Formella metoder

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

Ämneskategorier

Systemvetenskap

Datavetenskap (datalogi)

Datorsystem

Mer information

Senast uppdaterat

2021-03-23