Logic-Based Program Synthesis and Transformation

Fabio Fioravanti, John P. Gallagher

Logic-Based Program Synthesis and Transformation - Springer Springer 2018

9783319944609

EBOOK
Copyright @ Delhi University Library System