22129

4364771

Maurizio Proietti

Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014 (Lecture Notes in Computer Science)

Springer

2015

3319178210