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

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

Conference: LOPSTR 20112011

Abstract

Abstract is missing.