International Symposium on Logic-Based Program Synthesis and Transformation, Proceedings

International Symposium on Logic-Based Program Synthesis and Transformation, Proceedings. 2012.

Conference: LOPSTR2012

Abstract

Abstract is missing.