Logic-based program synthesis and transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, revised selected papers /

Corporate Authors: LOPSTR Symposium Namur, Belgium
Group Author: Fioravanti, Fabio; Gallagher, John John P
Published: Springer,
Publication Dates: [2018]
Call Number: TP311.11-532/L832.2/2017