Preface

Fabio Fioravanti, John Patrick Gallagher, Maurizio Proietti

Research output: Contribution to journalJournal article

Abstract

Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017.
Original languageEnglish
JournalFundamenta Informaticae
Volume173
Issue number4
Pages (from-to)i-ii
ISSN0169-2968
DOIs
Publication statusPublished - 2020

Keywords

  • Logic
  • Program development
  • Program transformation

Cite this