Preface. Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017
Articolo
Data di Pubblicazione:
2020
Tipologia CRIS:
01.07 Editoriale in rivista
Keywords:
Program synthesis; Proram transformation; Program verification
Elenco autori:
Proietti, Maurizio
Link alla scheda completa:
Pubblicato in: