Preface for the SYNT

Roderick Bloem, Paulo Tabuada

Research output: Contribution to journalEditorial

Original languageEnglish
Pages (from-to)1
Number of pages1
JournalActa informatica
Volume57
Issue number1-2
DOIs
Publication statusPublished - 2020

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Computer Networks and Communications

Cite this