Old Web
English
Sign In
Acemap
>
Paper
>
Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017
Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017
2020
Fabio Fioravanti
John P. Gallagher
Maurizio Proietti
Keywords:
Engineering
Program transformation
program development
Program synthesis
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]