Paper in proceedings, 2019


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

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

Subject Categories

Information Science

Computer Science

Computer Systems

More information

Latest update

4/2/2019 2