Preface
Paper i proceeding, 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

21st International Symposium on Practical Aspects of Declarative Languages, PADL 2019
Lissabon, Portugal,

Ämneskategorier

Systemvetenskap

Datavetenskap (datalogi)

Datorsystem

Mer information

Senast uppdaterat

2019-04-02